Requirements Specifications Checking of Embedded Real-Time Software.
Guoqing WuFengdi ShuMin WangWeiqing ChenPublished in: J. Comput. Sci. Technol. (2002)
Keyphrases
- real time systems
- real time
- written in natural language
- embedded real time systems
- embedded systems
- requirements specification
- functional requirements
- control software
- low cost
- software systems
- software requirements
- software development
- timing constraints
- real time embedded
- dedicated hardware
- requirements engineering
- vision system
- smart camera
- control system
- control flow
- information systems
- software maintenance
- software tools
- software architecture
- source code
- software design
- reactive systems
- software engineering
- systems development
- computer systems
- high speed
- uml models
- development lifecycle
- user interface
- case study