Cyclic scheduling, formal methods and information modelling

Authors
Whittington, MR Shackleton, M
Citation
Mr. Whittington et M. Shackleton, Cyclic scheduling, formal methods and information modelling, COMP CON EN, 10(1), 1999, pp. 33-39
Citations number
3
Categorie Soggetti
AI Robotics and Automatic Control
Journal title
COMPUTING & CONTROL ENGINEERING JOURNAL
ISSN journal
09563385 → ACNP
Volume
10
Issue
1
Year of publication
1999
Pages
33 - 39
Database
ISI
SICI code
0956-3385(199902)10:1<33:CSFMAI>2.0.ZU;2-O
Abstract
As real-time control engineering requirements become ever more demanding, a nd as post-emergent technologies become a manufacturing possibility, the en gineer is forced to seek new methods of analysis and design to maintain the efficiency and quality of the real-time software development process, This article discusses how techniques originating in the field of information m odelling are being successfully developed for the design and verification o f flight safety-critical software systems.