Automated Process-Centric Quality Constraints Checking for Quality Assurance in Safety-critical Systems.
Christoph Mayr-DornMichael VierhauserStefan BichlerFelix KeplingerJane Cleland-HuangAlexander EgyedThomas MehoferPublished in: Software Engineering (2022)
Keyphrases
- quality assurance
- safety critical
- quality control
- software quality
- safety analysis
- quality assessment
- software development
- embedded systems
- formal methods
- fault tolerant
- agent architecture
- monitoring system
- development process
- support systems
- open source
- real time
- complex systems
- software engineering
- artificial intelligence
- knowledge acquisition
- software testing
- cooperative
- high quality
- adaptive systems
- databases
- database
- regulatory requirements