Informationen für

Laboratory for Safe and Secure Systems

Das Laboratory for Safe and Secure Systems (LaS³) ist ein gemeinsames Kompe­tenz­zentrum der Ostbayerischen Technischen Hochschulen und sieht sich als Mediator zwi­schen Wissenschaft und Anwendung. 

Ziele / Schwerpunkte

  • Verzahnung anwendungsorientierter Forschung mit den Anforderungen der Industrie
  • Förderung und frühzeitige Einbindung von Studenten in industrienahe Forschungs­projekte
  • Heranführen des wissenschaftlichen Nachwuchses an die Arbeitsweise anwen­dungs­orientierter Forschung 
  • Entwurf sicherer und software-intensiver Systeme
  • Datensicherheit und Funktionale Sicherheit durch und mit Software
  • Methodisches Entwickeln sicherer Software
  • Durchführung von Architekturanalysen an software-intensiven Systemen 
  • Entwicklung von optimaler Software-Architektur in Automotive Embedded Systems hinsichtlich Leistung (Performance), Funktionale Sicherheit (Safety), Datensicherheit (Security) und Verfügbarkeit (Availability)

Kooperationen

Wir freuen uns über Kooperationen mit Firmen, KMUs, Master- oder Bachelor­stu­die­renden. Bei Fragen nehmen Sie bitte Kontakt mit dem Clustersprecher auf. Koope­ra­tio­nen sind beispielsweise in folgenden Formen möglich:

  • Förderprojekte
  • Abschlussarbeiten
  • Workshops, Tagungen

Wissenschaftliche Partner:

  • Hochschule Aschaffenburg, Hochschule Coburg, Hochschule Kempten, Hochschule Landshut, Hochschule Neu-Ulm, Hochschule München, Technische Hochschule Nürn­berg, Technische Hochschule Ingolstadt, OTH Amberg-Weiden
  • Universität Regensburg, Universität Augsburg, TU Clausthal, Universität Bam­berg, FAU Erlangen-Nürnberg, Universität Paderborn, Universität Clausthal, University of Gothenburg (Schweden)

FuE-Projekte

EVELIN: EVELIN stellt einen Förderantrag zur Verwaltungsvereinbarung zwischen Bund und Ländern über ein gemeinsames Programm für bessere Studienbedingungen und mehr Qualität in der Lehre dar.

FORMUS³IC: In diesem Forschungsverbund soll durch eine ausgeprägte Fokussierung auf einen ganzheitlichen Ansatz die Bewältigung der durch heterogene Multi-/Many-Core-Ar­chi­tekturen entstehenden Herausforde­run­gen für Automotive und Avionik gelöst werden. Das zu entwickelnde Lösungskonzept spiegelt sich in der Berücksichtigung der gesamten Bandbreite abstrakter Entwurfsmethodiken in den einzelnen Teilprojekten wider - reichend von der formalen Verifikation über die Mo­del­lierung des Software-Entwurfs bis hin zur Virtualisierung von Hardware. Dadurch soll das Ziel erreicht werden, Scheduling, Energieeffizienz und Sicherheit in Automotive- und Avionik-Applikationen zu optimieren. In FORMUS³IC soll sowohl ein wissenschaftlicher als auch technischer Beitrag zur Anpassung des Entwicklungsprozesses an die neuen Herausforderungen durch Multi- und Many-Core Systeme geleistet werden.

Forschungsthemen

  • Software Engineering Education
  • Embedded Software Engineering
  • Safe and Secure Systems
  • Multi/Many-Core Systems
  • Real-Time Systems

AMALTHEA4public: AMALTHEA4public beschäftigt sich mit der Entwicklung einer Open-Source-Plattform für Werkzeuge zur Entwicklung von eingebetteten Multi- und Many-Core Software Systemen. Neben der Erweiterung bestehender Ansätze soll dabei vor allem auch durch den Aufbau einer Community die Plattform als ein de-facto Standard positioniert werden.

Ausgewählte Veröffentlichungen

S. Krämer, J. Mottok, S. Racek, “Proportionate fair based multicore scheduling for fault tolerant multicore real-time systems”, International Conference on Electrical and Information Technologies (ICEIT), Marakesch, Morocco, March 2015. 

J. Braun, J. Mottok, “The Myths of Coded Processing”, in Proceedings of the IEEE International Conference on High Performance Computing and Communications (HPCC-ICESS-CSS 2015), New York, pp. 1637-1644, August 2015. 

M. Deubzer, J. Mottok, M. Mucha,  "Probabilistic worst case response time estimation for multi-core real-time systems" in Proceedings of the Embedded Computing (MECO), 2015 4th Mediterranean Conference on Embedded Computing, Budva, Montenegro, pp. 31-36, 14-18 June 2015.

M. Deubzer, F. Martin, J. Mottok, A. Sailer, “Automation of a Closed Loop Model-Based Development Process”, in Proceedings of Applied Research Conference, Nuremberg, July 2015; 

J. Mottok, P. Raab, Modellbasierte Zuverlässigkeitsanalysen von arithmetischen Operationen in einem Prozessorsystem. In Proceedings of safe.tech, Mai 2014.

J. Mottok, P. Raab, V. Vavricka. Isomorphism between Linear Codes and Arithmetic Codes. Accepted for Computing and Informatics (CAI), July 2014.

M. Deubzer, E. Lalo, J. Mottok. S. Schmidhuber, Extended Task Priority and Preemptability Optimization in Real-Time Multi-Core Embedded Systems. Applied Research Conference, ISBN 978-3-8440-2875-1, pp. 90-95, Ingolstadt, Germany, July 2014.

M. Deubzer, E. Lalo, J. Mottok, E. Oklapi, S. Schmidhuber. Task Priority Optimization in Real-Time Multi-Core Embedded Systems. 4. Landshuter Symposium Mikrosystemtechnik, ISBN 978-3-9812696-5-9, pp. 96-109, Landshut, Germany, March 2014

M. Alfranseder, J. Mottok, M. Mucha, A. Sailer, S. Schmidhuber. Advanced Research Workshop: Improving Disaster Resilience and Mitigation - New Means and Tools, Trends, Iasi, chapter How to improve the reactiveness and efficiency of embedded multicore systems by use of probabilistic simulation and optimization techniques. NATO Science for Peace and Security Series C: Environmental Security, Springer Science, 2014.

M. Alfranseder, T. Krapf, R. Mader, J. Mottok, M. Niemetz, C. Siemers. An Efficient Partitioning Strategy for Runnables in Weakly Dependent Tasks on Embedded Multi-Core Systems. In Proceedings of the Embedded Real Time Software and Systems (ERTS²) Conference. Toulouse, France, February 2014.

M. Alfranseder, M. Deubzer, B. Justus, J. Mottok, C. Siemers. An Efficient Spin-Lock Based Multi-Core Resource Sharing Protocol. In Proceedings of the 33rd IEEE

M. Deubzer, R. Mader, J. Mottok, M. Niemetz, S. Schmidhuber. Towards the Derivation of Guidelines for the Deployment of Real-Time Tasks on a Multicore Processor. In Proceedings of the 4th International Symposium on Model-Based Safety and Assessment, ISBN 978-3-319-12213-7, pp. 152-165, Springer, Munich, Germany, October 2014.

S. Kraemer, J. Mottok, P. Raab, S. Racek. Comparison of Enhanced Markov Models and Discrete Event Simulation - for evaluation of probabilistic Faults in safety-critical real-time task sets. In Proceedings of EUROMICRO DSD 2014 - 17th Euromicro Conference on Digital System Design, pp. 591-598, August 2014.

S. Kraemer, J. Mottok, P. Raab. Error Model and the Reliability of Arithmetic Operations. In Proceedings of 2013 IEEE EUROCON - International Conference on Computer as a Tool, pp. 630-637, July 2013.

M. Alfranseder, M. Deubzer, J. Mottok, M. Mucha, T. Sailer, S. Schmidhuber. Optimizing the task allocation step for multi-core processors within autosar. In Proceedings of the International Conference on Applied Electronics. IEEE, 2013.

J. Braun, D. Geyer, C. Miedl, M. Minas, J. Mottok. Increasing the reliability of single and multicore systems with software rejuvenation and coded processing. In Proceedings of the Automotive Safety & Security 2012 Sicherheit und Zuverlässigkeit für automobile Informationstechnik in Karlsruhe, ISBN 978-3-88579-604-6, pp. 163-178, November 2012.

J. Mottok, M. Steindl. Optimizing Software Integration Testing by Considering Integration Testability and Test Complexity. In Proceedings of the 10th IEEE Workshop on Intelligent Solutions in Embedded Systems (Accepted), Klagenfurt, Austria, 2012.