Distributed embedded safety critical real-time systems, design and verification aspects on the example of the time triggered architecture

URN:NBN:SI:doc-6405I8QU2003Ley, ManfredMadritsch, Christiandocuments/doc/6/URN_NBN_SI_doc-6405I8QU_001.pdfdocuments/doc/6/URN_NBN_SI_doc-6405I8QU_001.txt334articlestr. 245-2530352-90454309844URN:NBN:SI:doc-6405I8QUengStrokovno društvo za mikroelektroniko, elektronske sestavne dele in materialeInformacije MIDEMInCarhitektura (računalnik)komunikacijski protokolinapakesistemi v realnem časuvarnostni sistemiDistributed embedded safety critical real-time systems, design and verification aspects on the example of the time triggered architecture