Issues in real-time process controller realization
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The first step in the software development process is the construction of a requirements specification. Ideally such a specification expresses all requirements to be posed upon the software to be developed. Current formal methods lack one desirable property: their use requires skills that are often not possessed by specialists from other disciplines. This lack of understandability complicates the realization of systems. In this paper we address problems that arise in the specification of timing requirements for a software controller. It turns out that such requirements are often implicitly present in the domain oriented specification. This process is illustrated with a case study. Finally we address solutions for the problems encountered, which emphasize the need for developing specification formalisms that are suited to specialists from various disciplines.Keywords
This publication has 10 references indexed in Scilit:
- VDM++, a formal specification language for object-oriented designsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- SEAL A simple language for prototyping action-event specificationsMicroprocessing and Microprogramming, 1993
- Formal methods for the specification and design of real-time safety critical systemsJournal of Systems and Software, 1992
- VDM + CCS + Time = MOSCAPublished by Elsevier ,1992
- Software requirements analysis for real-time process-control systemsIEEE Transactions on Software Engineering, 1991
- Software safety in embedded computer systemsCommunications of the ACM, 1991
- The challenge of building process-control softwareIEEE Software, 1990
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating ThemIEEE Transactions on Software Engineering, 1985
- Testing Formal Specifications to Detect Design ErrorsIEEE Transactions on Software Engineering, 1985