Vienna Development Method

Fitzgerald, John S.; Larsen, Peter Gorm; Verhoef, Marcel

doi:10.1002/9780470050118.ecse447

Cited by 28 publications

(12 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Compass Modeling Language (CML) [28] is a formal modeling language for SoS, based on CSP and VDM (Vienna Development Method) [26], [29] to model, reason and simulate behavioral architecture with a focus on fault tolerance and dependability analysis. CML uses processes to present CSs where channels are used for communication.…”

Section: A Sos-adlsmentioning

confidence: 99%

Modeling Approaches for System-of-Systems Dynamic Architecture: Overview, Taxonomy and Future Prospects

Mohsin

Janjua

Islam

et al. 2019

2019 14th Annual Conference System of Systems Engineering (SoSE)

View full text Add to dashboard Cite

Systems-of-Systems(SoS) result from the collaboration of independent Constituent Systems (CSs) to achieve particular missions. CSs are not totally known at design time, and may also leave or join SoS at runtime, which turns the SoS architecture to be inherently dynamic, forming new architectural configurations and impacting the overall system quality attributes (i.e. performance, security, and reliability). Therefore, it is vital to model and evaluate the impact of these stochastic architectural changes on SoS properties at abstract level at the early stage in order to analyze and select appropriate architectural design. Architectural description languages (ADL) have been proposed and used to deal with SoS dynamic architectures. However, we still envision gaps to be bridged and challenges to be addressed in the forthcoming years. This paper presents a broad discussion on the state-of-the-art notations to model and analyze SoS dynamic architectures. The main contribution this paper is threefold: (i) providing results of a literature review on the support of available architecture modeling approaches for SoS and an analysis of their semantic extension to support specification of SoS dynamic architectures, and (ii) a corresponding taxonomy for modeling SoS obtained as a result of the literature review. Besides, we also discuss future directions and challenges to be overcome in the forthcoming years.

show abstract

Section: A Sos-adlsmentioning

confidence: 99%

Modeling Approaches for System-of-Systems Dynamic Architecture: Overview, Taxonomy and Future Prospects

Mohsin

Janjua

Islam

et al. 2019

2019 14th Annual Conference System of Systems Engineering (SoSE)

View full text Add to dashboard Cite

show abstract

“…The Vienna Development Method (VDM) is one of the longest established model-oriented formal method techniques for the development of computer-based systems and software [3]. It has its foundation in the ISO standardized VDM Specification Language (VDM-SL).…”

Section: Modelling Of Evolution In Sosmentioning

confidence: 99%

Extending VDM-RT to enable the formal modelling of System of Systems

Nielsen

Larsen

2012

2012 7th International Conference on System of Systems Engineering (SoSE)

Self Cite

View full text Add to dashboard Cite

When one wish to properly engineer dynamically evolving System of Systems (SoS) it is important to have tools that enable the different stakeholders to understand the consequences of diverse design decisions. Instead of merely using natural text and/or graphical diagrams we propose to make use of slight improvements to existing technology from the formal methods area to enable simulation of a model of the SoS. Here, we present how an extension of the tool support for the VDM Real Time (VDM-RT) technology enabling dynamic reconfiguration can form the basis for properly validating evolving SoS.

show abstract

“…This activity is undertaken as part of the EU FP7 Project DESTECS [4] 6 . The proof of concept work uses continuous-time models expressed as differential equations in Bond Graphs [17] and discrete event models expressed using the Vienna Development Method (VDM) [16,10] notation. The simulation engines supporting the two notations are, respectively, 20-sim [6] 7 and Overture [18] 8 .…”

Section: Collaborative Modelling and Design Space Explorationmentioning

confidence: 99%

Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems

Fitzgerald

Larsen

Pierce

et al. 2010

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on the construction and analysis by co-simulation of formal models that combine discrete-event specifications of computer-based controllers with continuous-time models of the environment with which they interact. Basic concepts of collaborative modelling and co-simulation are presented. A pragmatic realisation using the VDM and Bond Graph formalisms is described and illustrated by means of an example, which includes the modelling of both normal and faulty behaviour. Consideration of a larger-scale example from the personal transportation domain suggests the forms of support needed to explore the design space of collaborative models. Based on experience so far, challenges for future research in this area are identified.

show abstract

Vienna Development Method

Cited by 28 publications

References 23 publications

Modeling Approaches for System-of-Systems Dynamic Architecture: Overview, Taxonomy and Future Prospects

Modeling Approaches for System-of-Systems Dynamic Architecture: Overview, Taxonomy and Future Prospects

Extending VDM-RT to enable the formal modelling of System of Systems

Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems

Contact Info

Product

Resources

About