Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
An Executable Subset of Meta-IV with Loose Specification
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Validated Designs For Object-oriented Systems
Validated Designs For Object-oriented Systems
System architecture evaluation using modular performance analysis: a case study
International Journal on Software Tools for Technology Transfer (STTT)
A semantics of communicating reactive objects with timing
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
Timed automata based analysis of embedded system architectures
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
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
Co-simulation of distributed embedded real-time control systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Resource Modeling for Timed Creol Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic resource reallocation between deployment components
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Validating timed models of deployment components with parametric concurrency
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Simulating concurrent behaviors with worst-case cost bounds
FM'11 Proceedings of the 17th international conference on Formal methods
A Deterministic Interpreter Simulating A Distributed real time system using VDM
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Formal semantics of a VDM extension for distributed embedded systems
Concurrency, Compositionality, and Correctness
Animation-based validation of a formal model of dynamic virtual organisations
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Recent industrial applications of VDM in Japan
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Combining VDM with executable code
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
A formal model of user-defined resources in resource-restricted deployment scenarios
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Formal modelling for ada implementations: tasking event-b
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Design support and tooling for dependable embedded control software
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Formal modeling of resource management for cloud architectures: an industrial case study
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Modeling resource-aware virtualized applications for the cloud in real-time ABS
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Hi-index | 0.00 |
The complexity of real-time embedded systems is increasing, for example due to the use of distributed architectures. An extension to the Vienna Development Method (VDM) is proposed to address the problem of deployment of software on distributed hardware. The limitations of the current notation are discussed and new language elements are introduced to overcome these deficiencies. The impact of these changes is illustrated by a case study. A constructive operational semantics is defined in VDM++ and validated using VDMTools. The associated abstract formal semantics, which is not specific to VDM, is presented in this paper. The proposed language extensions significantly reduce the modeling effort when describing distributed real-time systems in VDM++ and the revised semantics provides a basis for improved tool support.