Title :
Table of contents
Abstract :
The following topics are dealt with: networks; scheduling; embedded system design; software engineering and control; stochastic modeling; multicore problems; modeling and verification; safety; and error checking.
Keywords :
computer networks; control engineering computing; embedded systems; formal verification; multiprocessing systems; scheduling; security of data; stochastic processes; embedded system design; error checking; industrial networks; multicore problem; safety; scheduling; software engineering; stochastic modeling; verification;
Conference_Titel :
Industrial Embedded Systems (SIES), 2012 7th IEEE International Symposium on
Conference_Location :
Karlsruhe
Print_ISBN :
978-1-4673-2685-8
Electronic_ISBN :
978-1-4673-2683-4
DOI :
10.1109/SIES.2012.6356615
