Eine Generische Gefährdungsliste für Fahrerlose Transportfahrzeuge in der Intralogistik

Titel der Konferenz

12. Braunschweiger Symposium AAET 2011 - Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel

Alle Autoren

Eilers, Sönke; Peikenkamp, Thomas; Rührup, Stefan; Schweigert, Sören; Toben, Tobe; Winkelmann, Hannes

Jahr

2011

Titel

Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design

Titel der Konferenz

DATE 2011

Alle Autoren

Damm, Werner; Hungar, Hardi; Josko, Bernhard; Peikenkamp, Thomas; Stierand, Ingo;

Jahr

2011

Titel

Architecture Modeling

Titel der Konferenz

OFFIS Technical Report

Alle Autoren

Andreas Baumgart, Eckard B¨ode, Matthias B¨uker, Werner Damm, G¨unter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber

Jahr

2011

Contract Based Assessment of Safety Critical Systems

Titel der Konferenz

7th European Systems Engineering Conference (EuSEC 2010)

Alle Autoren

Böde, Eckard; Gebhardt, Sebastian; Peikenkamp, Thomas

Jahr

2010

Titel

CESAR - Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems

Buchtitel

Proceedings Embedded World Conference 2010

Titel der Konferenz

Embedded World Conference 2010

Alle Autoren

Griessnig, Gerhard; Mader, Roland; Peikenkamp, Thomas; Josko, Bernhard; Törngren, Martin; Armengaud, Eric

Jahr

2010

Contract Based ISO CD 26262 Safety Analysis

Titel der Konferenz

SAE World Congress 2009

Alle Autoren

Damm, Werner; Josko, Bernhard; Peikenkamp, Thomas

Jahr

2009

Titel

Compositional Dependability Evaluation for STATEMATE

Buchtitel

Software Engineering, IEEE Transactions on

Alle Autoren

Bode, E.; Herbstritt, M.; Hermanns, H.; Johr, S.;Peikenkamp, T.;Pulungan, R.;Rakow, J.; Wimmer, R.; Becker, B.

Jahr

2009

Titel

Metamodels in Europe: Languages, Tools, and Applications

Buchtitel

IEEE Design and Test of Computers

Alle Autoren

Passerone, Roberto; Hafaiedh, Imene Ben; Graf, Susanne; Benveniste, Albert; Cancila, Daniela; Cuccuru, Arnaud; Gérard; Sébastien; Terrier, Francois; Ferrari, Alberto; Mangeruca, Leonardo; Josko, Bernhard; Peikenkamp, ThomasSangiovanni-Vincentelli, Alberto

Jahr

2009

Titel

Meta-models in Europe: Languages, Tools and Applications

Buchtitel

IEEE Design & Test of Computers

Alle Autoren

Roberto Passeron; Imene Ben Hafaiedh; Albert Benveniste; Daniela Cancila; arnaud Cuccuru; Werner Damm; Alberto Ferrari; Sebastien Gerard; Susanne Graf; Bernhard Josko; Leonardo Mangeruca; Thomas Peikenkamp; Alberto Sangiovanni-Vincentelli; Francois Terrie

Jahr

2009

Model Based Importance Analysis for Minimal Cut Sets

Buchtitel

Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis

Alle Autoren

Böde, Eckard; Peikenkamp, Thomas; Rakow, Jan; Wischmeyer, Samuel

Jahr

2008

Titel

Model based importance analysis for minimal cut sets

Buchtitel

AVACS Technical Report

Alle Autoren

Böde, Eckard; Peikenkamp, Thomas; Rakow, Jan; Wischmeyer, Samuel

Jahr

2008

Towards a Unified Model-based Safety Assessment

Buchtitel

SAFECOMP 2006. The 27th International Conference on Computer Safety, Security and Reliability

Alle Autoren

Peikenkamp, T.; Cavallo, A.; Valacca, L.; Böde, E.; Pretzer, M.; Hahn, E.M.

Jahr

2006

Titel

Model-based Safety Analysis of a Flap Control System

Buchtitel

Proceedings of the INCOSE 2004 - 14th Annual International Symposium

Alle Autoren

Peikenkamp, T.; Böde, E.; Brückner, I.; Spenke, H.; Bretschneider, M.; Holberg, H.-J.

Jahr

2006

Titel

Towards Safety Analysis of Highly Integrated Technologically Heterogeneous Systems - A Domain-Based Approach for Modelling System Failure Logic

Buchtitel

Proceedings of the 24th International System Safety Conference (ISSC)

Alle Autoren

Lisagor, O.; Pretzer, M.; Seguin,O.; Pumfrey, D. J.; Iwu, F.; Peikenkamp, T.

Jahr

2006

Titel

ISAAC, a framework for integrated safety analyses of functional, geometrical and human aspects

Alle Autoren

Ove AAkerlund; others

Jahr

2006

Titel

Compositional Performability Evaluation for STATEMATE

Buchtitel

QEST '06: Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems

Alle Autoren

Böde, Eckard; Herbstritt, Marc; Hermanns, Holger; Johr, Sven; Peikenkamp, Thomas; Pulungan, Reza; Wimmer, Ralf; Becker, Bernd

Jahr

2006

Titel

Analysis of Large Safety-Critical Systems: A quantitative Approach

Buchtitel

AVACS Technical Report

Alle Autoren

Herbstritt, Marc; Wimmer, Ralf; Peikenkamp, Thomas; Böde, Eckard; Adelaide, Michael; Johr, Sven; Hermanns, Holger; Becker, Bernd

Jahr

2006

Boosting Re-use of Embedded Automotive Applications Through Rich Components

Buchtitel

Proceedings, FIT 2005 - Foundations of Interface Technologies

Alle Autoren

Damm, Werner; Votintseva, Angelika; Metzner, Alexander; Josko, Bernhard; Peikenkamp, Thomas; Böde, Eckard

Jahr

2005

ESACS: An integrated methodology for design and safety analysis of complex systems

Buchtitel

Safety and Reliability - Proceedings of the ESREL 2003 Conference

Alle Autoren

Bozzano, M.; Villafiorita, A.; Åkerlund, O.; Bieber, P.; Bougno, C.; Böde, E.; Bretschneider, M.; Cavallo, A.; Castel, C.; Cifaldi, M.; Cimatti, A.; Griffault, A.; Kehren, C.; Lawrence, B,; Lüdtke, A.

Jahr

2003

The EVENTS Approach to Rapid Prototyping for Embedded Control Systems

Buchtitel

Zielarchitekturen eingebetteter Systeme (ZES '97)

Titel der Konferenz

ARCS 97

Alle Autoren

Lüth, Karsten; Metzner, Alexander; Peikenkamp, Thomas; Risau, Jürgen

Jahr

1997