Solving ordinary differential equations I (2nd revised. ed.): nonstiff problems
Solving ordinary differential equations I (2nd revised. ed.): nonstiff problems
Simulation engineering: build better embedded systems faster
Simulation engineering: build better embedded systems faster
Validated Designs For Object-oriented Systems
Validated Designs For Object-oriented Systems
Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool
RSP '06 Proceedings of the Seventeenth IEEE International Workshop on Rapid System Prototyping
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Real Time UML Workshop for Embedded Systems (Embedded Technology)
Real Time UML Workshop for Embedded Systems (Embedded Technology)
System Dynamics: Modeling and Simulation of Mechatronic Systems
System Dynamics: Modeling and Simulation of Mechatronic Systems
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
Modeling and validating distributed embedded real-time systems with VDM++
FM'06 Proceedings of the 14th international conference on Formal Methods
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM
FM '08 Proceedings of the 15th international symposium on Formal Methods
The overture initiative integrating tools for VDM
ACM SIGSOFT Software Engineering Notes
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Collaborative modelling and co-simulation in the development of dependable embedded systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Formal semantics of a VDM extension for distributed embedded systems
Concurrency, Compositionality, and Correctness
Recent industrial applications of VDM in Japan
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Design support and tooling for dependable embedded control software
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Co-simulation framework for design of time-triggered cyber physical systems
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Hi-index | 0.00 |
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analysis approaches advocated by these disciplines are fundamentally different which complicates reasoning about e.g. performance at the system level. We propose a light-weight approach that alleviates this problem to some extent. An existing formal semantic framework for discrete event models is extended to allow for consistent co-simulation of continuous time models from within this framework. It enables integrated models that can be checked by simulation in addition to the verification and validation techniques already offered by each discipline individually. The level of confidence in the design can now be raised in the very early stages of the system design life-cycle instead of postponing system-level design issues until the integration and test phase is reached. We demonstrate the extended semantic framework by co-simulation of VDM++ and bond-graph models on a case study, the level control of a water tank.