The development framework: Work in progress towards a real-time control system design environment

Hajji, M.S.; Bass, J.M.; Browne, A.R.; Schroder, P.; Croll, P.R.; Fleming, P.J.

Abstract

This paper describes work in progress on two extensions to the environment of a Development Framework for the design of control system software; hybrid system design and design of dependable systems. The Development Framework automatically converts a control engineering specification into a parallel implementation. Hybrid control systems are a combination of real-time control law and discrete-state logic. The Framework can be adapted so that it may handle discrete events such as mode switching. A statechart tool, Statemate [i-Logix95], is used to specify and model discrete-state components. The design phase of the Development Framework supports the integration of the two sets of specification. Initial work to support the design of dependable systems has included the implementation of an interface between the Framework design model and the dependability modelling tool, SURF-2. Stochastic Petri net models of selected fault-tolerant mechanisms are currently supported. The models enable sensitivity analysis and comparison of competing architectures. (3 pages)

Citation

Hajji, M., Bass, J., Browne, A., Schroder, P., Croll, P., & Fleming, P. (1996). The development framework: Work in progress towards a real-time control system design environment. . https://doi.org/10.1049/ic%3A19960422

• Conference Name: IEE Colloquium on Advances in Computer-Aided Control System Design (Digest No: 1996/061)
• Conference Location: London, UK
• Start Date: Mar 14, 1996
• Online Publication Date: Mar 14, 1996
• Publication Date: Mar 14, 1996
• Deposit Date: Dec 18, 2023
• DOI: https://doi.org/10.1049/ic%3A19960422