Automating the development of distributed control software
- 1 January 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Parallel & Distributed Technology: Systems & Applications
- Vol. 2 (4) , 9-19
- https://doi.org/10.1109/88.345964
Abstract
The Development Framework translates application-specific system specifications into parallel, hard real-time implementations, using methods that are both familiar to developers and optimal for the application. The Development Framework approach applies CASE tools-as well as several new tools-to the development of distributed systems, so designers can concentrate on the control-engineering aspects of their systems. The approach addresses three development phases: specification, software design, and implementation. In the specification phase, the control engineer refines behavioral requirements through simulation and analysis, thereby verifying that the system meets its functional requirements prior to implementation. Once the simulated behavior is satisfactory, the specified behavior is translated into a design. Finally, our tools produce source code, either by automatically generating it or by drawing it from a library. We describe the new and existing tools we apply during each phase. We then demonstrate our approach using an example of a linearized roll-pitch-yaw autopilot and airframe model.Keywords
This publication has 6 references indexed in Scilit:
- A theoretical investigation of generalized voters for redundant systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Integrating control and software views in a CACE/CASE toolsetPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- ControlH: a fourth generation language for real-time GN&C applicationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A prototype framework of design tools for computer-aided control engineeringPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Validation of ultrahigh dependability for software-based systemsCommunications of the ACM, 1993
- Solutions of the second benchmark control problemIEEE Control Systems Magazine, 1990