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

  title={Methods for the Development of Distributed Real-Time Embedded Systems Using VDM},
  author={Peter Gorm Larsen and John S. Fitzgerald and Sune Wolff},
  journal={Int. J. Software and Informatics},
The development of distributed real-time embedded s ystems presents a significant practical challenge both because of the complexity of distributed compu tation 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 ar e often thought to require greater initial investme nt and longer development cycles than is desirable for the development of non-critical… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 65 references

Real Time UML – Advances in the UML for Real-Time Systems

Bruce Powel Douglass
Addison-Wesley, third edition, • 2004
View 8 Excerpts
Highly Influenced

Combinatorial Testing for VDM

2010 8th IEEE International Conference on Software Engineering and Formal Methods • 2010
View 1 Excerpt

Formal Semantics of a VDM Extension for Distributed Embedded Systems

Concurrency, Compositionality, and Correctness • 2010
View 1 Excerpt

Facilitating Home Automation Through Wireless Protocol Interoperability

Sune Wolff, Peter Gorm Larsen, Kenneth Lausdahl, Augusto Ribeiro, Thomas Skjødeberg Toftegaard
In Submitted for publication, • 2009
View 3 Excerpts

Formalising Concurrent and Distributed Design Patterns with VDM

Sune Wolff
View 1 Excerpt

How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project

Fuyuki Ishikawa, Kenji Taguchi, Shinichi Honiden
View 1 Excerpt

Similar Papers

Loading similar papers…