Abstract
The Development Framework provides a highly automated translation from a specification to a parallel implementation. The specification is in a popular graphical control engineering notation, typically representing a system with stringent dependability requirements and hard real-time constraints. An interface has been constructed between the Development Framework and the dependability modelling tool, SURF-2. The demonstration will illustrate the Development Framework design approach using a primary flight control Case Study. The example application consists of a three channel autopilot and airframe model. Dependability models of competing autopilot architectures will be contrasted in the demonstration.
Chapter PDF
Similar content being viewed by others
Keywords
Rferences
Bass, J. M., A. R. Browne, M. S. Hajji, D. G. Marriott, P. R. Croll and P. J. Fleming (1994), “Automating the Development of Distributed Control Software”, IEEE Parallel and Distributed Technology, Vol. 2, No. 4, Winter 1994, pp. 9–19.
Bass, J. M., S. Metge, P. R. Croll and P. J. Fleming (1995), “Dependability Modelling in a Prototype Development Framework”, IEEE 25th Ann. Int. Symp. on Fault-Tolerant Computing Systems, Pasadena, June 1995, pp. 131–6.
Béounes, C., et al (1993), “SURF-2: A program for Dependability Evaluation of Complex Hardware and Software Systems”, Digest of Papers, IEEE 23rd Ann. Int. Symp. on Fault-Tolerant Computing Systems, Toulouse, June 1993, pp. 668–73.
Blum A. M. et al, (1993), “System Availability Estimator (SAVE) Language Reference and User’s Manual”, Research Report RA219S, IBM Research Division, T. J. Watson Research Centre, Yorktown Heights, N. J., June 1993.
Browne, A. R., J. M. Bass, P. R. Croll and P. J. Fleming (1994), “A Prototype Framework of Design Tools for Computer-Aided Control Engineering”, Joint IEEE/IFAC Symp. on Computer-Aided Control System Design, 1994, pp. 369–74.
Hatley, D. J. and I. A. Pirbhai (1987), “Strategies for Real-Time System Specification”, Dorset House Publishing Co. Inc.
Hoare, C. A. R. (1985), “Communicating Sequential Processes”, Prentice-Hall.
Irwin, G. W. and P. J. Fleming (eds.) (1992), “Transputers in Real-Time Control”, Research Studies Press.
Sanders, W. H. and W. D. Obal II (1993), “Dependability Evaluation using UltraSAN”, Digest of Papers, IEEE 23rd Ann. Int. Symp. on Fault-Tolerant Computing Systems, Toulouse, June 1993, pp. 674–79.
Vestal C., (1994), “Integrating Control and Software Views in a CACE/CASE Toolset”, IEEE/IFAC Joint Symp. on Computer-Aided Control System Design, Tuscon, Arizona, March 1994, pp. 353–58.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Bass, J.M., Browne, A.R., Hajji, M.S., Croll, P.R., Fleming, P.J. (1996). Development Framework for real-time control system design. In: Jelly, I., Gorton, I., Croll, P. (eds) Software Engineering for Parallel and Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34984-8_27
Download citation
DOI: https://doi.org/10.1007/978-0-387-34984-8_27
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2948-0
Online ISBN: 978-0-387-34984-8
eBook Packages: Springer Book Archive