Modeling and validating distributed embedded real time systems with vdm

Modeling and validating distributed embedded real time systems with vdm

Presented at the 1st International Workshop on UML & Formal Methods (UML&FM at ICFEM 2008), October 27, 2008, Kitakyushu, Japan.

It is shown how these approaches can be combined to improve the design and analysis of high-tech systems, both in theory and practice.

In Distributed Embedded Systems: Design, Middleware and Resources, IFIP 20th World Computer Congress, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy, volume 271 of IFIP International Federation for Information Processing, pages 79-88, New York, USA, September 2008. [ bib | DOI ] Kristian Bisgaard Lassen and Simon Tjell.

Developing Tool Support for Problem Diagrams with CPN and VDM .

The resulting model-driven design approach fits the current engineering practice in industry and is both flexible and effective.

The Vienna Development Method (VDM) is one of the longest-established Formal Methods for the development of computer-based systems.

modeling and validating distributed embedded real time systems with vdm-89modeling and validating distributed embedded real time systems with vdm-83modeling and validating distributed embedded real time systems with vdm-23

The corresponding continuous time model is available through the first author.

Join our conversation (78 Comments).
Click Here To Leave Your Comment Modeling and validating distributed embedded real time systems with vdm.

Comments:

Leave a Reply

Your email address will not be published. Required fields are marked *