Publikationen

B. Schlich, J. Brauer, J. Wernerus, and S. Kowalewski, "Direct Model Checking of PLC Programs in IL", in Proc. Dependable Control of Discrete Systems (DCDS'09), Bari, Italy, 2009, To appear.

B. Schlich, "Model Checking of Software for Microcontrollers", ACM Transactions in Embedded Computing Systems (TECS), 2009, To appear

J. F. Schommer, D. Franke, S. Kowalewski, and C. Weise, "Evaluation of the Real-Time Java Runtime Environment for Deployment in Time-Critical Systems", in Proc. 7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES '09), Madrid, Spain, 2009, pp. 51-60.

T. Reinbacher, M. Horauer, B. Schlich, J. Brauer, and F. Scheuer, "Model Checking Assembly Code of an Industrial Knitting Machine", in Proc. Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, 2009, To appear.

T. Reinbacher, J. Brauer, M. Horauer, and B. Schlich, "Refining Assembly Code Static Analysis for the Intel MCS-51 Microcontroller", in Proc. Industrial Embedded Systems (SIES'09), Lausanne, Switzerland, 2009, pp. 161-170.

A. Polzer, G. Botterweck, I. Wangerin, and S. Kowalewski, "Variabilitaet im modellbasierten Engineering von eingebetteten Systemen", in Proc. 7. Workshop Automotive Software Engineering, 2009, p. 331.

J. Palczynski and S. Kowalewski, "Early Behaviour Modelling for Control Systems"." 2009, to appear.

A. Polzer, S. Kowalewski, and G. Botterweck, "Applying Software Product Line Techniques in Model-based Embedded Systems Engineering", in Proc. Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2009), Workshop at the 31st International Conference on Software Engineering (ICSE 2009), 2009.

A. Stollenwerk, C. Jongdee, and S. Kowalewski, "An Undergraduate Embedded Software Laboratory for the Masses", in Proc. Workshop on Embedded Systems Education (WESE09), Grenoble, France, 2009, to appear.

B. Schlich and S. Kowalewski, "Model Checking C Source Code for Embedded Systems", International Journal on Software Tools for Technology Transfer (STTT), vol. 11, iss. 3, pp. 187-202, 2009

M. Walter, T. Wartzek, R. Kopp, A. Stollenwerk, A. Kashefi, and S. Leonhardt, "Automation of Long Term Extracorporeal Oxygenation Systems", in Proc. European Control Conference (ECC09), Budapest, Hungary, 2009.

T. Wartzek, M. Walter, A. Stollenwerk, R. Kopp, A. Kashefi, and S. Leonhardt, "Automatisierung der extrakorporalen Membranoxygenierung", in Proc. 8. Workshop AUTOMED – Automatisierungstechnische Verfahren für die Medizin, Berlin, Germany, 2009, pp. 25-26, Best Paper Award.

A. Armoush, E. Beckschulze, and S. Kowalewski, "Safety Assessment of Design Patterns for Safety-Critical Embedded Systems", in Proc. 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009), 2009.

W. Thomas, K. Bollue, D. Gückel, G. Quiros, M. Slaats, and M. Ummels, "DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)"", it - Information Technology, vol. 4, pp. 222-230, 2009

D. Schmitz, M. Zhang, T. Rose, M. Jarke, A. Polzer, J. Palczynski, S. Kowalewski, and M. Reke, "Mapping Requirements Models to Mathematical Models in Control Systems Development", in Proc. Model Driven Architecture - Foundations and Applications (ECMDA-FA 2009), Enschede, The Netherlands, 2009.

B. Schlich, S. Kowalewski, and J. Wernerus, "Verifikation von SPS-Programmen in AWL mit Hilfe von direktem Model-Checking", in Proc. AUTOMATION 2009, Baden-Baden, Germany, Düsseldorf, 2009.

B. Schlich, T. Noll, J. Brauer, and L. Brutschy, "Reduction of Interrupt Handler Executions for Model Checking Embedded Software", in Proc. Haifa Verification Conference (HVC 2009), Haifa, Israel, 2009, To appear.

A. Stollenwerk, M. Walter, T. Wartzek, R. Kopp, J. Arens, and S. Kowalewski, "A Safety and Control Concept for Extrecorporeal Membrane Oxygenation", The International Journal of Artificial Organs, vol. 32, iss. 7, p. 428, 2009

R. Mitsching, C. Weise, A. Kolbe, H. Bohnenkamp, and N. Berzen, "Towards an Industrial Strength Process for Timed Testing", Software Testing Verification and Validation Workshop (A-MOST '09), pp. 29-38, 2009

T. Reinbacher, M. Horauer, and B. Schlich, "Using 3-Valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking", in Proc. Design and Diagnostics of Electronic Circuits and Systems (DDECS 2009), Liberec, Czech Republic, 2009, pp. 114-119.

G. Botterweck, A. Pleuss, A. Polzer, and S. Kowalewski, "Towards Feature-driven Planning of Product-Line Evolution", in Proc. First Workshop on Feature-Oriented Software Development (FOSD), Workshop at the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), Denver, Colorado, USA, 2009.

E. Beckschulze, F. Salewski, and S. Kowalewski, "A Comparison of Dual-Core Approaches for Safety-Critical Automotive Applications", in Proc. Safety-Critical Systems, 2009 (SAE World Congress 2009), 2009.

J. Brauer, B. Schlich, and S. Kowalewski, "Parallel and Distributed Invariant Checking of Microcontroller Software", Electronic Notes in Theoretical Computer Science, vol. 254, p. 45, 2009, Proceedings of the 4th International Workshop on Systems Software Verification (SSV 2009)

I. Ben Makhlouf, S. Kowalewski, M. G. Chavez Grunewald, and D. Abel, "Safety Assessment of Networked Vehicle Platoon Controllers -- Practical Experiences With Available Tools", in Proc. 3rd IFAC Conference on Analysis and Design of Hybrid Systems, Zaragoza, Spain 2009, 2009.

G. Botterweck, A. Polzer, and S. Kowalewski, "Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems", in Proc. 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB 2009), Workshop at the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), Denver, Colorado, USA, 2009.

A. Armoush and S. Kowalewski, "Safety Recommendations for Safety-Critical Design Patterns", in Proc. Design of Dependable Critical Systems (DDCS) In the framework of the SAFECOMP2009, 2009.

A. Armoush, F. Salewski, and S. Kowalewski, "Design Pattern Representation for Safety-Critical Embedded Systems", Journal of Software Engineering and Applications (JSEA), vol. 2, iss. 1, pp. 1-12, 2009

J. Brauer, R. Huuck, and B. Schlich, "Interprocedural Pointer Analysis in Goanna", Electronic Notes in Theoretical Computer Science, vol. 254, p. 65, 2009, Proceedings of the 4th International Workshop on Systems Software Verification (SSV 2009)

J. Brauer, B. Schlich, T. Reinbacher, and S. Kowalewski, "Stack Bounds Analysis of Microcontroller Assembly Code", in Proc. Workshop on Embedded Security (WESS 2009), Grenoble, France, 2009, To appear.

G. Botterweck, A. Polzer, and S. Kowalewski, "Interactive Configuration of Embedded Systems Product Lines", in Proc. 1st International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2009), Workshop at the 13th International Software Product Line Conference (SPLC 2009), San Francisco, California, USA, 2009, pp. 52-58.

S. Leonhardt, M. Walter, T. Wartzek, A. Kashefi, A. Stollenwerk, and R. Kopp, "Regelung des Gasaustauschs für die extrakorporale Oxygenierung", in Proc. Automation 2009, Baden-Baden, Germany, 2009, pp. 281-285.

R. Kopp, M. Walter, J. Arens, A. Stollenwerk, S. Leonhardt, T. Schmitz-Rode, S. Kowalewski, and R. Rossaint, "Regelungs- und Sicherheitskonzepte für extrakorporale Systeme zur Lungenunterstützung / Automatic control and safety concepts for extracorporeal lung support", Biomedizinische Technik, vol. 54, iss. 5, p. 289, 2009

E. Beckschulze, F. Salewski, T. Siegbert, and S. Kowalewski, "Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications", in Proc. Leveraging Applications of Formal Methods, Verification and Validation (ISoLA08), 2009, pp. 82-92.

R. Kopp, S. Leonhardt, and S. Kowalewski, "Extracorporeal Membrane Oxygenation for Cardiac and Pulmonary Indications: How to Increase Patient Safety?"." , Vincent, J., Ed.Springer Berlin Heidelberg, 2009, vol. 1, pp. 341-349.

D. Klünder, "Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation," RWTH Aachen University, AIB-2009-04, 2009.

R. Dülks, F. Salewski, and S. Kowalewski, "A Real-Time Test and Simulation Environment Based on Standard FPGA Hardware", in Proc. Testing Academic and Industrial Conference - Practice and Research Techniques (TAIC Part 2009), 2009, to appear.

A. Fehnker, R. Huuck, B. Schlich, and M. Tapp, "Automatic Bug Detection in Microcontroller Software by Static Program Analysis", in Proc. SOFSEM 2009: Theory and Practise of Computer Science, Spindleruv Mlýn, Czech Republic, 2009, pp. 267-278.

D. Gückel, "Retargeting a Hardware-Dependent Model Checker by Using Architecture Description Languages", in Proc. Doctoral Symposium on Systems Software Verification (DS SSV 2009), 2009.

B. Schlich, D. Gückel, and S. Kowalewski, "Modeling the Environment of Microcontrollers to Tackle the State-Explosion Problem in Model Checking", in Proc. Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), Budapest, Hungary, Budapest, Hungary, 2008, pp. 27-34.

D. Schmitz, P. Drews, F. Heßeler, M. Jarke, S. Kowalewski, J. Palczynski, A. Polzer, M. Reke, and T. Rose, "Modellbasierte Anforderungserfassung für softwarebasierte Regelungen", in Proc. Software Engineering, 2008, pp. 257-271.

B. Schlich, "Model Checking of Software for Microcontrollers," PhD Thesis , Aachen, Germany, 2008.

F. Salewski, "Empirical Evaluations of Safety-Critical Embedded Systems," PhD Thesis , 2008.

P. Drews, F. Heßeler, D. Schmitz, A. Polzer, S. Kowalewski, and D. Abel, "Entwicklungsprozess für eine Luftpfadregelung am Dieselmotor unter Berücksichtigung nichtfunktionaler Anforderungen", in Proc. Systeme von morgen - Technische Innovationen und Entwicklungstrends, 2008, pp. 167-179.

F. Salewski and A. Taylor, "Systematic Considerations for the Application of FPGAs in Industrial Applications", in Proc. Industrial Electronics 2008(ISIE'08), 2008.

T. Reinbacher, M. Kramer, M. Horauer, and B. Schlich, "Motivating Model Checking for Embedded Systems Software", in Proc. Mechatronic and Embedded Systems and Applications (MESA08), Beijing, China, 2008, pp. 546-551.

D. Wilking, "Empirical Studies for the Application of Agile Methods to Embedded Systems," PhD Thesis , RWTH Aachen University, 2008.

F. Salewski and S. Kowalewski, "Hardware/Software Design Considerations for Automotive Embedded Systems", IEEE Transactions on Industrial Informatics, vol. 4, iss. 3, pp. 156-163, 2008

F. Salewski and S. Kowalewski, "The Effect of Real-Time Software Reuse in FPGAs and Microcontrollers with respect to Software Faults", in Proc. Industrial embedded Systems (SIES'08), 2008, pp. 141-148.

B. Schlich, J. Löll, and S. Kowalewski, "Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code", in Proc. Formal Methods for Industrial Critical Systems (FMICS 2007), Berlin, Germany, 2008, pp. 21-37.

R. Huuck, A. Fehnker, S. Seefried, and J. Brauer, "Goanna: Syntactic Software Model Checking", in Proc. Automated Technology for Verification and Analysis (ATVA 2008), Seoul, Korea, 2008, pp. 216-221.

A. Armoush, F. Salewski, and S. Kowalewski, "A Hybrid Fault Tolerance Method for Recovery Block with a Weak Acceptance Test", in Proc. The 5th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008, pp. 484-491.

A. Armoush, F. Salewski, and S. Kowalewski, "Recovery Block with Backup Voting: A New Pattern with Extended Representation for Safety Critical Embedded Systems", in Proc. 11th International Conference on Information Technology (ICIT 2008), 2008, pp. 232-237.

A. Armoush, F. Salewski, and S. Kowalewski, "Effective Pattern Representation for Safety Critical Embedded Systems", in Proc. 2008 International Conference on Computer Science and Software Engineering, 2008, pp. 91-97.

T. Reinbacher, M. Kramer, M. Horauer, and B. Schlich, "Challenges in Embedded Model Checking --- A Simulator for the [mc]square Model Checker", in Proc. Industrial Embedded Systems (SIES 2008), Le Grande Motte, France, 2008, pp. 245-248.

P. Drews, F. Heßeler, K. Hoffmann, D. Abel, D. Schmitz, A. Polzer, and S. Kowalewski, "Entwicklung einer Luftpfadregelung am Dieselmotor unter Berücksichtigung nichtfunktionaler Anforderungen", in Proc. Steuerung und Regelung von Fahrzeugen und Motoren – AUTOREG 2008, Baden-Baden, Germany, 2008, pp. 91-102.

J. Beckers, D. Klünder, S. Kowalewski, and B. Schlich, "Direct Support for Model Checking of Abstract State Machines by Utilizing Simulation", in Proc. Abstract State Machines, B and Z (ABZ 2008), London, UK, 2008, pp. 112-124.

G. Herberich, T. Noll, B. Schlich, and C. Weise, "Proving Correctness of an Efficient Abstraction for Interrupt Handling", Electronic Notes in Theoretical Computer Science, vol. 217, pp. 133-150, 2008, Proceedings of the 3rd International Workshop on Systems Software Verification (SSV 2008)

T. Noll and B. Schlich, "Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code", in Proc. Hardware and Software: Verification and Testing (HVC 2007), Haifa, Israel, 2008, pp. 185-201.

D. Klünder, J. Li, and S. Kowalewski, "Design-by-Contract for Embedded Systems", in Proc. International Symposium on Software Variability: a Programmers' Perspective (SVPP 2008), 2008.

D. Klünder, "Modellierung und Analyse von Fahrzeugsoftware mit Abstract State Machines", in Proc. Modellierung 2008, 2008, pp. 225-228.

D. Klünder, D. Kameni, and S. Kowalewski, "Nahtloser Entwurf sicherheitskritischer, eingebetteter Softwaresysteme mit abstrakten Zustandsmaschinen und Business Object Notation", in Proc. Entwurf komplexer Automatisierungssysteme (EKA 2008), 2008.

B. Schlich and S. Kowalewski, "An Extendable Architecture for Model Checking Hardware-Specific Automotive Microcontroller Code", in Proc. Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007), Braunschweig, Germany, Braunschweig, Germany, 2007, pp. 202-212.

F. Salewski and A. Taylor, "Fault Handling in FPGAs and Microcontrollers in Safety-Critical Embedded Applications: A Comparative Survey", in Proc. 10th Euromicro Conference on Digital System Design (DSD'07), 2007, pp. 124-131.

D. Wilking, U. F. Khan, and S. Kowalewski, "An Empirical Evaluation of Refactoring", Software Development Theory, Practice and Experimentation, vol. 1, iss. 1, pp. 28-44, 2007

D. Wilking, D. Schili, and S. Kowalewski, "Measuring the Human Factor with the Rasch Model", in Proc. Balancing Agility and Formalism in Software Engineering (CEE-SET 2007), 2007, pp. 157-168.

D. Wilking and S. Kowalewski, "Analyzing Software Engineering Processes on Source Code Level", in Proc. New trends in software methodologies, tools and techniques (SOMET'2007), 2007, pp. 305-314.

B. Schlich, F. Salewski, and S. Kowalewski, "Applying Model Checking to an Automotive Microcontroller Application", in Proc. Industrial Embedded Systems (SIES'07), Lisbon, Portugal, 2007, pp. 209-216.

X. Chen, F. Salewski, S. Kowalewski, and K. Spisic, "Concept and Prototyping of a Fault Management Framework for Automotive Safety Relevant Systems", in Proc. Moderne Elektronik im Kraftfahrzeug II, 2007, pp. 70-79.

F. Salewski and S. Kowalewski, "Testing Issues in Empirical Reliability Evaluation of Embedded Real-Time Systems", in Proc. IEEE Real-Time and Embedded Technology and Applications Symposium, WiP session (RTAS'07), 2007, pp. 48-51.

F. Salewski and S. Kowalewski, "Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches", in Proc. Computer Safety, Reliability, and Security (SAFECOMP'07), 2007, pp. 270-275.

D. Klünder and S. Kowalewski, "Scenario-Based Evaluation of Abstract State Machines", in Proc. The 14th International ASM Workshop (ASM'07), 2007.

F. Salewski and S. Kowalewski, "The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations", in Proc. IEEE Symposium on Industrial Embedded Systems (SIES'07), 2007, pp. 78-85.

F. Salewski and S. Kowalewski, "Hardware Platform Design Decisions In Embedded Systems - A Systematic Teaching Approach", in Proc. Special Issue on the Second Workshop on Embedded System Education (WESE'06), 2007, pp. 27-35.

B. Schlich and S. Kowalewski, "[mc]square: A model checker for microcontroller code", in Proc. Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), Paphos, Cyprus, 2006, pp. 466-473.

F. Salewski, D. Wilking, and S. Kowalewski, "The effect of diverse hardware platforms on N-version programming in embedded systems - an empirical evaluation", in Proc. Proc. of the 3rd. Workshop on Dependable Embedded Sytems (WDES'06), 2006, pp. 61-66.

F. Salewski and S. Kowalewski, "Exploring the Differences of FPGAs and Microcontrollers for their Use in Safety-Critical Embedded Applications", in Proc. IEEE Symposium on Industrial Embedded Systems (IES'06), 2006, pp. 1-4.

B. Schlich, M. Rohrbach, M. Weber, and S. Kowalewski, "Model Checking Software for Microcontrollers," RWTH Aachen University, Aachen, Germany, AIB-2006-11, 2006.

J. Palczynski, B. Schlich, and S. Kowalewski, "Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern", in Proc. Informatik 2006: Informatik für Menschen (INFORMATIK 2006), Dresden, Germany, 2006, pp. 751-755.

I. Ben Makhlouf and S. Kowalewski, "An Evaluation of Two Recent Reachability Analysis Tools for Hybrid Systems", in Proc. 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006.

D. Klünder, "TRIZ for Software Architecture", in Proc. Creativity, Quality and Efficiency - Building an Innovation Culture (TRIZ Future 2006), 2006, pp. 93-98.

D. Klünder, "An Approach to Resolving Contradictions in Software Architecture Design", in Proc. Perspectives in Software Architecture Quality (QoSA 2006), 2006, pp. 59-63.

D. Wilking and S. Kowalewski, "Agile Methods for Embedded Systems", in Proc. Extreme Programming and Agile Processes in Software Engineering (XP 2005), 2005, pp. 319-320.

B. Schlich and S. Kowalewski, "Model Checking C Source Code for Embedded Systems", in Proc. IEEE/NASA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2005), Columbia, Maryland, USA, Maryland, USA, 2005, pp. 65-77, NASA/CP-2005-212788.

F. Salewski and S. Kowalewski, "Zuverlässigkeitsmechanismen für Eingebettete Systeme", in Proc. Workshop on Zuverlässigkeit in eingebetteten Systemen - Ada Deutschland Tagung, 2005, pp. 39-51.

F. Salewski and S. Kowalewski, "Zuverlässigkeitsmechanismen für Eingebettete Systeme", GI Softwaretechnik-Trends, vol. 25, iss. 4, pp. 7-8, 2005

F. Salewski, D. Wilking, and S. Kowalewski, "Diverse hardware platforms in embedded systems lab courses: A way to teach the differences", in Proc. Special Issue: The First Workshop on Embedded System Education (WESE), 2005, pp. 70-74.

B. Schlich and S. Kowalewski, "C Model Checker: Eine Übersicht," Embedded Software Laboratory, RWTH Aachen University, Aachen, Germany, RWTH-I11-2004-1.