Publications


Scientific Publications of ARAMiS II

2018


APP4MC: An Open Source Platform for Automotive Multi-Core Systems. Ziegenbein, Dirk. 2018. Dresden, Germany : 2018. DATE18.

Architecture Exploration for Safety-Critical Systems. Diewald, Alexander, Barner, Simon und Voss, Sebastian. 2018. Dresden, Germany : 2018. DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR).

Constructing Safer Systems by Design. Stilkerich, Isabella. 2018. Berlin, Germany : 2018. Automotive ISO 26262: Functional Safety Adaptation and Integration.

Control Flow Analysis for Embedded Multi-Core Hybrid Systems. Hoppe, Augusto W., Kastensmidt, Fernanda Lima und Becker, Jürgen. 2018. Santorini, Greece : 2018. Proceedings of the 13th International Symposium on Applied Reconfigurable Computing (ARC).

Earthquake - A NoC-based optimized differential collision cache attack for MPSoCs. Reinbrecht, C., et al. 2018. Dresden, Germany : 2018. Design, Automation & Test in Europe (DATE).

EGIS NoC: A secure-enhanced interconnection to prevent Architectural Channel Attacks. Reinbrecht, C., et al. 2018. Freiburg, Germany : 2018. TUZ - Testmethoden und Zuverlässigkeit von Schaltungen und Systemen.

Entwurfsabsicherung für eingebettete Mehrkernsysteme im Kontext der ISO 26262. Becker, Jan Steffen. 2018. Ulm, Germany : 2018. Workshop on Software Engineering for Applied Embedded RealTime Systems SE-AERTS.

Finding Safety Defects and Security Vulnerabilities by Static Analysis. Kästner, Daniel, Mauborgne, Laurent und Ferdinand, Christian. 2018. Nürnberg, Germany : 2018. Embedded World Conference 2018.

Model-based Design & Simulation Tools for Heterogeneous Automotive HW/SW Systems. Hamann, Arne. 2018. San Francisco CA, USA : 2018. DAC 2018 – 55 Design Automation Conference.

Obtaining Worst-Case Execution Time Bounds on Modern Microprocessors. Kästner, D., Pister, M., Wegener, S., Ferdinand, C., 2018. Nürnberg, Germany : 2018. Embedded World Conference 2018.

Online Analysis of Debug Trace Data for Embedded Systems. Decker, Normann, et al. 2018. Dresden, Germany : 2018. Design, Automation & Test in Europe (DATE).

On Software Safety, Security, and Abstract Interpretation. Kästner, D., Mauborgne, K. und Ferdinand, C. 2018. [Hrsg.] K. Havelund. Oxford, UK: 2018. International Symposium on Formal Methods. S. 1-4.

Optimization of Systems With Nested Design Space. Hilbrich, Robert, et al. 2018. Vancouver, Kanada : 2018. IEEE Systems Conference 2018.

Semi-automatic Safety Analysis and Optimization. Munk, Peter. 2018. San Francisco CA, USA : 2018. DAC 2018 – 55 Design Automation Conference.

SEPUFSoC: Using PUFs for Memory Integrity and Authentication in Multi-Processor Systems-on-Chip. Sepulveda, J., Willgerodt, F. und Pehl, M. 2018. Chicago, USA : 2018. GLSVLSI 2018 - ACM Great Lakes Symposium on VLSI.

Subutai: Distributed Synchronization Primitives in NoC Interfaces for Legacy Parallel-Applications. Cataldo, R., et al. 2018. San Francisco CA, USA : 2018. DAC 2018 – 55 Design Automation Conference.

TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams. Leucker, Martin, et al. 2018. Pau, France : 2018. 33rd Annual ACM Symposium on Applied Computing (SAC).

The ARAMiS Project Initiative: Multicore Systems in Safety- and Mixed-Critical Applications. Becker, Jürgen und Bapp, Falco. 2018. 2018. 13th International Symposium on Applied Reconfigurable Computing (ARC).

Towards Fail-Operational Systems on Controller Level Using Heterogeneous Multicore SoC Architectures and Hardware Support. Bapp, F. K., et al. 2018. Detroit, Michigan, USA : 2018. WCX : SAE World Congress Experience.

Towards the formal verification of security properties of a Network-on-Chip router.. Sepulveda, J., et al. 2018. Bremen, Germany : 2018. ETS 2018 - 23rd European Test Symposium.

Towards the formal verification of security properties of a Network-on-Chip router. Sepulveda, J., Aboul-Hassan, D. und Sauer, M. 2018. Freiburg, Germany : 2018. TUZ 2018 - Testmethoden und Zuverlässigkeit von Schaltungen und Systemen.

 

2017

A Security-aware Routing Implementation for Dynamic Data Protection in Zone-based MPSoC. Sepulveda, J., et al. 2017. Fortaleza, Brazil, 2017. 30th SBCCI 2017 - IEEE Symposium on Integrated Circuits and System Design.

Architekturvarianten sicherheitskritischer Echtzeitsysteme. Becker, U., Stilkerich, I. und Münzenberger, R. 2017. Sindelfingen, Germany, 2017. Embedded Systems Engineering Congress.

Becker, U., et al. 10.2017. Kostengünstig? Aber sicher! Bewertung von Architekturvarianten im Kontext von ISO 26262 und harter Echtzeit. HANSER Automotive. 10.2017, S. 10-18.

Cache Attacks and countermeasures for NTRUEncrypt on MPSoCs: Post-quantum Resistance for the IoT. Sepulveda, J., Zankl, A. und Mischke, O. 2017. Munich, Germany, 2017. 30th IEEE International System-on-Chip Conference.

Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness. Schuster, Simon, et al. 2017. Seoul, South Korea, 2017. EMSOFT 2017 / ACM TECS Journal.

Detecting Safety- and Security- Relevant Programming Defects by Sound Static Analysis. Kästner, Daniel, Mauborgne, Laurent und Ferdinand, Christian. 2017. Barcelona, Spain, 2017. CYBER 2017.

Developing Safety-critical Systems on Multi-core. The ARAMiS Way. Baldovin, Andrea et al. 2017. Webex/GE Niskayuna, New York, USA, 2017.

Evaluation of Architecture Variants for Hard Real-Time Systems. Stilkerich, I. und Pinecker, F. 2017. Stuttgart, Germany, 2017. EUROFORUM ISO 26262 Conference.

Experiences gained from modeling and solving large mapping problems during system design. Hilbrich, Robert und Behrisch, Michael. 2017. Montreal, Canada, 2017. IEEE Systems Conference 2017.

Exploiting Bus Communication to Improve Cache Attacks on Systems-on-Chips. Sepulveda, J., et al. 2017. Bochum, Germany, 2017. ISVLSI 2017 – IEEE Computer Society Annual Symposium on VLSI.

Hardware Security and MPSoCs. Sepulveda, Johanna. 2017. New York, NY, USA, 2017.

Importance of HW models in developing applications for MSoCs. Kuntz, Stefan. 2017. Munich, Germany, 2017. 3rd Embedded Multi-Core Conference (EMCC) .

Introduction to Hardware-Oriented Security for MPSoCs. Polian, I., Regazzoni, F. und Sepulveda, J. 2017. Munich, Germany, 2017. 30th IEEE International System-on-Chip Conference.

Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems. Decker, Normann, et al. 2017. Recife, Pernambuco, Brazil, 2017. 20th Brazilian Symposium on Formal Methods (SBMF).

Reinbrecht, C., et al. 2017. Timing Attack on NoC-based Systems: Prime+Probe Attack and NoC-based Protection. [Hrsg.] Springer. Microprocessors and Microsystems EMBEDDED HARDWARE DESIGN. 2017.

Safe and Secure Multi-core Systems for Critical Applications. Sepulveda, Johanna. 2017. Frankfurt, Germany, 2017.

Satisfying Safety and Security Requirements by Static Code Analysis. 2017. Stuttgart, Germany, 2017. Euroforum Jahrestagung ISO 26262.

Schuster, S., et al. 2017. Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness. ACM Transactions on Embedded Computing Systems. 2017.

Sepulveda, J., et al. 2017. Efficient Security Zones Implementation through Hierarchical Group Key Management at NoC-Based MPSoCs. [Hrsg.] Springer. Microprocessors and Microsystems EMBEDDED HARDWARE DESIGN. 2017.

Side-Channel Attack Resilience through Route Randomisation in Secure Real-Time Networks-on-Chip. Indrusiak, L., Harbin, J. und Sepulveda, J. 2017. Madrid, Spain, 2017. 12th ReCoSoC 2017 – IEEE International Symposium on Reconfigurable Communication-Centric System-on-Chip.

Simulating Autonomous Vehicles and Future Mobility Concepts in Urban Areas. Hilbrich, Robert und Behrisch, Michael. 2017. Toulouse, France, 2017. EclipseCon Europe 2017.

Stilkerich, I., et al. 5.2017. The Perfect Getaway: Using Escape Analysis in Embedded Real-Time Systems. ACM Transactions on Embedded Computing Systems (TECS). 5.2017.

Towards Multicore WCET Analysis. Wegener, Simon. 2017. Dubrovnik, Croatia, 2017. WCET 2017.

Towards Post-quantum Security for IoT Endpoints with NTRU. Sepulveda, Johanna. 2017. Lausanne, Switzerland , 2017. Design, Automation & Test in Europe Conference & Exhibition (DATE).

Towards Protected MPSoC Communication for Information Protection against a Malicious NoC. Sepulveda, Johanna. 2017. Zurich, Switzerland, 2017.

Towards Trace-driven Cache Attacks by Exploiting Bus Communication on Systems-on-Chips. Sepulveda, J., et al. 2017. Madrid, Spain, 2017. 12th ReCoSoC 2017 – IEEE International Symposium on Reconfigurable Communication-Centric System-on-Chip.

Verification of execution traces using TeSSLa: A Real-Time Specification Language. Jahic, Jasmin, et al. 2017. Munich, Germany, 2017.


2016

Systems Engineering based on the Correctness by Construction Principle. Hilbrich, Robert. 2016. Berlin, Germany, 2016. IQPC System Safety EUROPE.