Formal Semantics of a VDM Extension for Distributed Embedded Systems

Hooman, Jozef; Verhoef, Marcel

doi:10.1007/978-3-642-11512-7_10

Cited by 9 publications

(4 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Research revealed that neither the existing VDM++ dialect nor the extension made with VICE was sufficient when modelling distributed real-time systems [241]. As a result an extension was proposed to enable the modelling of distributed real-time embedded systems in VDM++ [244,106]. The extension introduced the notion of CPUs, busses, specific time delays and asynchronous operations.…”

Section: Vienna Development Methods -Vdmmentioning

confidence: 99%

Strengthening Collaboration, Integration and Modelling in System of Systems Engineering

Nielsen

2014

Strengthening Collaboration, Integration and Modelling in System of Systems Engineering

View full text Add to dashboard Cite

As people and businesses experience the advantages and capabilities enabled by increased connectivity and integration between computer systems, a higher demand arises for the functionality and services that systems must provide. This necessitates the creation of a type of highly complex systems that themselves contain systems, which have a high degree of interconnectivity and interactions between them. This type of system is known as a System of Systems, which denotes a system that itself contains a group of heterogeneous constituent systems that via the interactions between them create a synergistic collaboration through which a higher common goal can be achieved. The development of a System of Systems is challenged by a high degree of complexity in the form of diverse stakeholders, geographical distributed development, a constant system evolution, an unpredictable emergence of behaviour, and the heterogeneity between the constituent systems. These challenges are being addressed in the field of Systems of Systems Engineering. The methodologies and tools used for analysis and development are however still in their infancy. This dissertation is focused on strengthening the Systems of Systems Engineering field by using a combination of Software Engineering and Systems Engineering, specifically with a focus on formal model based engineering techniques and tool-support hereof. The dissertation has three focus areas: managing integration challenges, enhancing the capabilities of System of Systems modelling and enabling collaborative development in formal modelling. The result is: a range of classification dimensions that characterise System of Systems; a System of Systems classification for design patterns; and multiple approaches for improving the tool-support for formal modelling techniques in System of Systems Engineering. vii There are a number of people who have been important in the completion of this dissertation, as their support, guidance and assistance made it all possible. To all of these, and many others, who contributed academically or personally, I owe a great deal. First I want to thank my supervisor Professor Peter Gorm Larsen from the Department of Engineering, Aarhus University. He has had a remarkable impact on both my research and my personal development. I am highly thankful for all he has taught me, both consciously and unconsciously, through his guidance, time and ideas. His never ending support and enthusiasm is both contagious and motivational. I want to acknowledge my colleagues in the COMPASS project whom have contributed strongly to my research by providing a foundation on which the research could be performed. They have contributed to my research with valuable ideas and feedback, for which I owe them my strongest appreciation. I also owe a strong recognition and thank you to Kenneth Lausdahl and Nick Battle for they support and work with the tool development efforts. Their impressive technical insights and expertises have been invaluable in the technical aspects of this dissertation. I wan...

show abstract

Section: Vienna Development Methods -Vdmmentioning

confidence: 99%

Strengthening Collaboration, Integration and Modelling in System of Systems Engineering

Nielsen

2014

Strengthening Collaboration, Integration and Modelling in System of Systems Engineering

View full text Add to dashboard Cite

show abstract

“…These semantic definitions are themselves given in VDM and the language extensions to support object-orientation, concurrency, real-time and distribution have all been specified in VDM in the same way. This also includes constructs supporting loose specification [23] and operational semantics for features supporting real-time and distributed systems [7,24,25] .…”

Section: Semantics and Validation Techniquesmentioning

confidence: 99%

Methods for the Development of Distributed Real-Time Embedded Systems Using VDM

Gorm Larsen,

Fitzgerald,

Wolff

2024

ijsi

View full text Add to dashboard Cite

The development of distributed real-time embedded systems presents a signi?cant practical challenge both because of the complexity of distributed computation and because of the need to rapidly assess a wide variety of design alternatives in early stages when requirements are often volatile. Formal methods can address some of these challenges but are often thought to require greater initial investment and longer development cycles than is desirable for the development of non-critical systems in highly competitive markets. In this paper we propose an approach that takes advantage of formal modelling and analysis technology in a lightweight way, making signi?cant use of readily available tools. We describe an incremental approach in which detail is progressively added to abstract system-level speci?cations of functional and timing properties via intermediate models that express system architecture, concurrency and distribution. The approach is illustrated using a model of a home automation system. The models are expressed using the Vienna Development Method (VDM) and are validated primarily by scenario-based tests.

show abstract

“…The operational semantics of co-simulation is described in terms of synchronisation of the two simulators (Verhoef 2009;Hooman and Verhoef 2010). The DE and CT simulators are coupled through a co-simulation engine that explicitly synchronises the shared variables, events and simulation time in both linked simulators.…”

Section: Co-simulationmentioning

confidence: 99%

A formal approach to collaborative modelling and co-simulation for embedded systems

Fitzgerald¹,

Larsen²,

Pierce³

et al. 2013

Math. Struct. Comp. Sci.

View full text Add to dashboard Cite

The effective use of model-based formal methods in the development of complex embedded systems requires the integration of discrete-event models of controllers with continuous-time models of their environments. This paper proposes a new approach to the development of such combined models (co-models), in which an initial discrete-event model may include approximations of continuous-time behaviour that can subsequently be replaced by couplings to continuous-time models. An operational semantics of co-simulation allows the discrete and continuous models to run on their respective simulators and managed by a coordinating co-simulation engine. This permits the exploration of the composite co-model's behaviour in a range of operational scenarios. The approach has been realised using the Vienna Development Method (VDM) as the discrete-event formalism, and 20-sim as the continuous-time framework, and has been applied successfully to a case study based on the distributed controller for a personal transporter device.

show abstract

Formal Semantics of a VDM Extension for Distributed Embedded Systems

Cited by 9 publications

References 10 publications

Strengthening Collaboration, Integration and Modelling in System of Systems Engineering

Strengthening Collaboration, Integration and Modelling in System of Systems Engineering

Methods for the Development of Distributed Real-Time Embedded Systems Using VDM

A formal approach to collaborative modelling and co-simulation for embedded systems

Contact Info

Product

Resources

About