The IFAD VDM-SL toolbox: a practical approach to formal specifications
ACM SIGPLAN Notices
Modelica - A Unified Object-Oriented Language for System Modelling and Simulation
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Validated Designs For Object-oriented Systems
Validated Designs For Object-oriented Systems
Validation Support for Distributed Real-Time Embedded Systems in VDM++
HASE '07 Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
Communications of the ACM - Security in the Browser
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Modelling Systems: Practical Tools and Techniques in Software Development
Modelling Systems: Practical Tools and Techniques in Software Development
The overture initiative integrating tools for VDM
ACM SIGSOFT Software Engineering Notes
Co-simulation of distributed embedded real-time control systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Design support and tooling for dependable embedded control software
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Co-simulation and multi-models for pervasive computing as a complex system
HCD'11 Proceedings of the 2nd international conference on Human centered design
Modeling and debugging numerical constraints of cyber-physical systems design
Proceedings of the Fourth Symposium on Information and Communication Technology
Hi-index | 0.00 |
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 cosimulation 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.