@article{ArmoushSalewskiKowalewski2009, author = {Armoush, A. and Salewski, F. and Kowalewski, S.}, title = {Design Pattern Representation for Safety-Critical Embedded Systems}, series = {Journal of Software Engineering and Applications (JSEA)}, volume = {2}, journal = {Journal of Software Engineering and Applications (JSEA)}, number = {1}, doi = {10.4236/jsea.2009.21001}, pages = {1 -- 12}, year = {2009}, language = {en} } @incollection{BeckschulzeSalewskiKowalewski2009, author = {Beckschulze, E. and Salewski, F. and Kowalewski, S.}, title = {A Comparison of Dual-Core Approaches for Safety-Critical Automotive Applications}, series = {Proc. Safety-Critical Systems, 2009 (SAE World Congress 2009), 2009, SAE International}, booktitle = {Proc. Safety-Critical Systems, 2009 (SAE World Congress 2009), 2009, SAE International}, pages = {209 -- 216}, year = {2009}, language = {en} } @article{BeckschulzeSalewskiKowalewski2009, author = {Beckschulze, E. and Salewski, F. and Kowalewski, S.}, title = {A Comparison of Dual-Core Approaches for Safety-Critical Automotive Applications}, series = {SAE International Journal of Passenger Cars - Electronic and Electrical Systems}, journal = {SAE International Journal of Passenger Cars - Electronic and Electrical Systems}, number = {1}, doi = {10.4271/2009-01-0761}, pages = {301 -- 308}, year = {2009}, language = {en} } @incollection{BeckschulzeSalewskiSiegbertetal.2009, author = {Beckschulze, E. and Salewski, F. and Siegbert, T. and Kowalewski, S.}, title = {Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications}, series = {Proc. Leveraging Applications of Formal Methods, Verification and Validation (ISoLA08), 2009, vol. 17 in Communications in Computer and Information Science}, booktitle = {Proc. Leveraging Applications of Formal Methods, Verification and Validation (ISoLA08), 2009, vol. 17 in Communications in Computer and Information Science}, publisher = {Springer}, address = {Berlin, Heidelberg}, doi = {10.1007/978-3-540-88479-8_7}, pages = {82 -- 92}, year = {2009}, language = {mul} } @incollection{DuelksSalewskiKowalewski2009, author = {D{\"u}lks, R. and Salewski, F. and Kowalewski, S.}, title = {A Real-Time Test and Simulation Environment Based on Standard FPGA Hardware}, series = {Proc. Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC Part 2009), Washington, DC, USA}, booktitle = {Proc. Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC Part 2009), Washington, DC, USA}, publisher = {IEEE Computer Society}, doi = {10.1109/TAICPART.2009.24}, pages = {197 -- 204}, year = {2009}, language = {en} }