A Safety-Assured Development Approach for Real-Time Software.
Eunkyoung JeeShaohui WangJeong-Ki KimJaewoo LeeOleg SokolskyInsup LeePublished in: RTCSA (2010)
Keyphrases
- real time
- safety critical
- development process
- computer network security
- high speed
- software design
- dedicated hardware
- real time systems
- source code
- software development
- low cost
- computer systems
- software systems
- development cycle
- software architecture
- case study
- computer hardware
- software testing
- development environment
- formal methods
- systems development
- safety analysis
- software engineering
- software process
- technical issues
- open source
- software maintenance
- software application
- embedded systems
- design process
- financial investment
- software life cycle
- web services