The Impact of Low-Power Techniques on the Design of Portable Safety-Critical Systems.
Athanasios KakarountasVassilis SpiliotopoulosSpiridon NikolaidisConstantinos E. GoutisPublished in: PATMOS (2004)
Keyphrases
- safety critical
- low power
- embedded systems
- formal methods
- low cost
- single chip
- high speed
- power consumption
- low power consumption
- vlsi architecture
- logic circuits
- safety analysis
- gate array
- support systems
- agent architecture
- fault tolerant
- mixed signal
- regulatory requirements
- digital circuits
- cmos technology
- design process
- nuclear power plant
- power reduction
- digital signal processing
- knowledge based systems
- model checking
- management system
- information systems
- artificial intelligence