Modeling logical execution time based safety-critical embedded systems in SystemC.

Iban Ayestaran Carlos F. Nicolás Jon Pérez Peter P. Puschner

Published in: MECO (2014)

Keyphrases

embedded systems
safety critical
low cost
safety analysis
real time systems
embedded software
embedded real time systems
formal methods
embedded devices
fault tolerant
software systems
field programmable gate array
agent architecture
learning process
learning systems
adaptive systems