Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time

Proceedings 20th IEEE International Parallel &Amp; Distributed Processing Symposium

2006

Section: Figure 1 In-car Radio Navigation Systemmentioning

confidence: 99%

Timed automata based analysis of embedded system architectures

Hendriks

Proceedings 20th IEEE International Parallel &Amp; Distributed Processing Symposium

2006

“…In addition, none of these works deal with deployments. Related to that aspect is the UML Profile for Schedulability, Performance and Time, and research on performance analysis based on this profile [ 9].…”

Section: Related Work and Concluding Remarksmentioning

confidence: 99%

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

Lecture Notes in Computer Science

Larsen

Hooman

2006

The development of complex embedded control systems can be improved significantly by applying formal techniques from control engineering and software engineering. It is shown how these approaches can be combined to improve the design and analysis of high-tech systems, both in theory and practice. The semantics of the integration of two established rigorous techniques has been defined formally in this work. The strength of this integrated semantics is demonstrated by means of a significant industrial case study: the embedded control of a printer paper path, whereby the full development life-cycle from model to realization is covered. The resulting model-driven design approach fits the current engineering practice in industry and is both flexible and effective.

Section: Introductionmentioning

confidence: 99%

Formal Semantics of a VDM Extension for Distributed Embedded Systems

Hooman

Concurrency, Compositionality, and Correctness

2010

Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timing primitives. In addition, we have defined an interface for the co-simulation of a VDM++ model with a continuous-time model of its environment. This enables multi-disciplinary design space exploration and continuous validation of design decisions throughout the development process. We present an operational semantics which formalizes the precise meaning of the VDM extensions and the co-simulation concept.