M.S. Hajji
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.
Authors
Prof Julian Bass J.Bass@salford.ac.uk
Professor of Software Engineering
A.R. Browne
P. Schroder
P.R. Croll
P.J. Fleming
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)
Presentation Conference Type | Conference Paper (published) |
---|---|
Conference Name | IEE Colloquium on Advances in Computer-Aided Control System Design (Digest No: 1996/061) |
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 |
You might also like
Managing nonâfunctional requirements in agile software development
(2021)
Journal Article
An architecture governance approach for Agile development by tailoring the Spotify model
(2021)
Journal Article
Overcoming team boundaries in agile software development
(2021)
Journal Article
Scrum for product innovation : a longitudinal embedded case study
(2018)
Journal Article
Downloadable Citations
About USIR
Administrator e-mail: library-research@salford.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search