Reusable Libraries for Safety-Critical Java.
Juan Ricardo RiosMartin SchoeberlPublished in: ISORC (2014)
Keyphrases
- safety critical
- reusable components
- fault tolerant
- formal methods
- embedded systems
- safety analysis
- agent architecture
- nuclear power plant
- source code
- open source
- regulatory requirements
- object oriented
- programming language
- digital libraries
- support systems
- adaptive systems
- software components
- multimedia
- database applications
- low cost
- case based reasoning
- knowledge acquisition
- monitoring system
- real time
- software development
- data model
- case study
- artificial intelligence
- machine learning