Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC).
Seo Ryong KooPoong-Hyun SeongPublished in: Reliab. Eng. Syst. Saf. (2006)
Keyphrases
- software design
- safety critical
- safety analysis
- formal methods
- software engineering
- embedded systems
- software systems
- support systems
- programmable logic controller
- agent architecture
- fault tolerant
- petri net
- distributed systems
- databases
- adaptive systems
- software development
- data analysis
- machine learning
- learning systems
- knowledge based systems
- hardware and software
- decision makers
- knowledge management
- expert systems
- cooperative
- case study
- database