DocumentCode
1494390
Title
Cyclic scheduling, formal methods and information modelling
Author
Whittington, Mark R. ; Shackleton, Mike
Author_Institution
Lucas Aerosp., Birmingham, UK
Volume
10
Issue
1
fYear
1999
Firstpage
33
Lastpage
39
Abstract
As real time control engineering requirements become ever more demanding, and as post emergent technologies become a manufacturing possibility, the engineer is forced to seek new methods of analysis and design to maintain the efficiency and quality of the real time software development process. The article discusses how techniques originating in the field of information modelling are being successfully developed for the design and verification of flight safety critical software systems.
Keywords
formal specification; cyclic scheduling; flight safety critical software systems; formal methods; information modelling; manufacturing possibility; post emergent technologies; real time control engineering requirements; real time software development process;
fLanguage
English
Journal_Title
Computing & Control Engineering Journal
Publisher
iet
ISSN
0956-3385
Type
jour
DOI
10.1049/cce:19990109
Filename
755721
Link To Document