@article{KraemerMottokMeier, author = {Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen and Meier, Hans}, title = {Multi-Core Scheduling in Embedded Systemen, Teil 2}, series = {Hanser Automotive}, journal = {Hanser Automotive}, number = {3-4}, pages = {23 -- 25}, language = {en} } @article{KraemerMottokMeier, author = {Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen and Meier, Hans}, title = {Multi-Core Scheduling in Embedded Systemen, Teil 3}, series = {Hanser Automotive}, journal = {Hanser Automotive}, number = {5-6}, pages = {14 -- 16}, language = {en} } @article{RaabKraemerMottoketal., author = {Raab, Peter and Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen and Vavricka, Vlastimil}, title = {Isomorphism between Linear Codes and Arithmetic Codes for Safe Data Processing in Embedded Software Systems}, series = {Computing and Informatics (CAI)}, volume = {33}, journal = {Computing and Informatics (CAI)}, pages = {721 -- 734}, abstract = {We present a transformation rule to convert linear codes into arithmetic codes. Linear codes are usually used for error detection and correction in broadcast and storage systems. In contrast, arithmetic codes are very suitable for protection of software processing in computer systems. This paper shows how to transform linear codes protecting the data stored in a computer system into arithmetic codes safeguarding the operations built on this data. Combination of the advantages of both coding mechanisms will increase the error detection capability in safety critical applications for embedded systems by detection and correction of arbitrary hardware faults.}, language = {en} } @inproceedings{KraemerRaabMottoketal., author = {Kr{\"a}mer, Stefan and Raab, Peter and Mottok, J{\"u}rgen and Racek, Stanislav}, title = {Comparison of Enhanced Markov Models and Discrete Event Simulation - for evaluation of probabilistic Faults in safety-critical real-time task sets}, series = {Proceedings of EUROMICRO DSD 2014 - 17th Euromicro Conference on Digital System Design}, booktitle = {Proceedings of EUROMICRO DSD 2014 - 17th Euromicro Conference on Digital System Design}, doi = {10.1109/DSD.2014.42}, pages = {591 -- 598}, abstract = {In this paper we present simulation and model based approaches for evaluating and validating the temporal and safety relevant properties of software intensive safety-critical real-time embedded systems. A high level reliability model of a safe task execution is described by a continuous-time Markov process, enhanced by the modeling of execution times. It is shown that the behavior - regarding real-time and safety metrics - of this theoretical model can be transferred into an abstract system timing model, which then can be analyzed by a discrete event simulation approach. The verification of the discrete event simulation by Markov models offers the possibility of a holistic approach for reliability analysis combined with schedulability analysis of complex safety-critical multicore real-time systems by the discrete event simulation.}, language = {en} } @inproceedings{KraemerSimsekBraunetal., author = {Kr{\"a}mer, Stefan and Simsek, Erol and Braun, J{\"u}rgen and Deubzer, Michael and Stingl, Armin and Hobelsberger, Martin and Mottok, J{\"u}rgen}, title = {Mut zu Fehlern, um die Qualit{\"a}t zu steigern - Fault-Injection zur Steigerung der Zuverl{\"a}ssigkeit}, series = {Tagungsband, 6th Embedded Software Engineering, Kongress 2013, 2. bis 6. Dezember 2013, Sindelfingen}, booktitle = {Tagungsband, 6th Embedded Software Engineering, Kongress 2013, 2. bis 6. Dezember 2013, Sindelfingen}, isbn = {978-3-8343-2408-5}, pages = {577 -- 585}, language = {de} } @inproceedings{SeidlKraemerMottok, author = {Seidl, M. and Kr{\"a}mer, Stefan and Mottok, J{\"u}rgen}, title = {Improving the reliability of an embedded real-time system by applying coded processing}, series = {4th Applied Research Conference, 5th July 2014, Ingolstadt}, booktitle = {4th Applied Research Conference, 5th July 2014, Ingolstadt}, publisher = {Shaker}, address = {Aachen}, isbn = {978-3-8440-2875-1}, pages = {70 -- 74}, language = {en} }