Clynch, Gary (1994) Prototyping real-time systems. Master of Science thesis, Dublin City University.
Abstract
The traditional software development paradigm, the waterfall life cycle model, is defective when used for developing real-time systems. This thesis puts forward an executable prototyping approach for the development of real-time systems.
A prototyping system is proposed which uses ESML (Extended Systems Modelling Language) as a prototype specification language. The prototyping system advocates the translation of non-executable ESML specifications into executable LOOPN (Language of Object Oriented Petn Net) specifications so that ESML can be used as a graphical executable specification language for the prototyping of real-time systems. If the translation process is automatic then the user need not be aware of LOOPN.
The ESML/LOOPN prototyping system defines an execution semantics for the ESML language in terms of LOOPN nets, a set of translation templates are supplied for the translation of ESML language specifications into LOOPN language specifications. The execution semantics are based on a set of execution rules (guidelines) which have been defined for ESML to allow prediction of the behaviour of ESML specifications over time. A C language program which can be run by the user as a prototype of the modelled system is generated automatically from the LOOPN specification.
The ESML/LOOPN prototyping system has been applied to build an exploratory prototype of a typical real-time system, 1e the Fuel Subsystem of the Auxiliary Power Unit (APU), an avionic system used on the Boeing-737 airplane series.
Metadata
Item Type: | Thesis (Master of Science) |
---|---|
Date of Award: | 1994 |
Refereed: | No |
Supervisor(s): | Verbruggen, Renaat |
Uncontrolled Keywords: | Real time systems (development); Prototyping; Executable prototyping approach |
Subjects: | Computer Science > Software engineering |
DCU Faculties and Centres: | DCU Faculties and Schools > Faculty of Engineering and Computing > School of Computing |
Use License: | This item is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 3.0 License. View License |
ID Code: | 18415 |
Deposited On: | 25 Jul 2013 08:21 by Celine Campbell . Last Modified 25 Jul 2013 08:21 |
Documents
Full text available as:
Preview |
PDF
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
3MB |
Downloads
Downloads
Downloads per month over past year
Archive Staff Only: edit this record