|
|
|
|
We presented two position papers at the workshop on
An application of the DESS modeling approach: The Car Speed Regulator Vieri
del Bianco, Luigi Lavazza, Marco Mauri Abstract The ITEA Project DESS (Software Development Process for Real-Time Embedded Software Systems) aims at defining a methodology for the development of real-time software. The authors of this position paper are involved in the definition of methods for the specification and analysis phases. Our goal is to allow analysts to model real-time systems using an extension of UML, which can support the translation of models into formal notations. In this way we retain the expressiveness and ease of use of UML, while gaining the power of formal methods. In this paper we employ our notation to model the proposed car speed regulator, in order to verify that such notation is able to represent the desired behavior of the system. acrobat text (27KB) © Copyright notice
A classification of real-time specifications complexity Vieri
del Bianco, Luigi Lavazza, Marco Mauri acrobat text (54KB) © Copyright notice
|
