Scientific Publications related to ACROSS

• ”Probabilistic Compositional Reasoning for Guaranteeing Fault Tolerance Properties“ by Jan Olaf Blech; 15th International Conference On Principles Of Distributed Systems (ODOPIS), Toulouse, France, Dec. 2011.

• ”Verification of PLC Properties Based on Formal Semantics in Coq“ by J. O. Blech and S. Ould Biha; 9th International Conference on Software Engineering and Formal Methods (SEFM), Montevideo, Uruguay, Nov. 2011.

• ”Analysis and Optimization of Fault-Tolerant Task Scheduling on Multiprocessor Embedded Systems“ by J. Huang, J. O. Blech, A. Raabe, C. Buckl and A. Knoll; International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS). Embedded System Week. Taipei, Taiwan, Oct. 2011.

• ”Reliability-Aware Design Optimization for Multiprocessor Embedded Systems“ by J. Huang, J. O. Blech, A. Raabe, C. Buckl and A. Knoll; 14th Euromicro International Conference on Digital System Design (DSD), Oulu, Finland, Aug. 2011.

• ”A Tool for the Certification of Sequential Function Chart based System Specifications“ by J. O. Blech; 6th International Workshop on Systems Software Verification. Nijmegen, The Netherlands, Aug. 2011.

• ”Fault Containment in a Reconfigurable Multi-Processor System-on-a-Chip“ by R. Obermaisser, O. Höftberger; IEEE International Symposium on Industrial Electronics (ISIE 2011), Gdansk, Poladn, June 2011.

• ”D-Finder 2: Towards Efficient Correctness of Incremental Design“ by S. Bensalem, A. Griesmayer, A.Legay, T-H. Nguyen, J. Sifakis, R. Yan; NFM'11, 3rd NASA Formal Methods Symposium, Pasadena, USA, April 2011.

• ”A Workflow for Runtime Adaptive Task Allocation on Heterogeneous MPSoCs“ by J. Huang, A. Raabe, C. Buckl, A. Knoll; Design, Automation & Test in Europe (DATE 2011), Grenoble, France, March 2011.
• ”Authentication in Time-Triggered Systems using Time-delayed Release of Keys“ by A. Wasicek, C. El Salloum, H. Kopetz; 14th IECC International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC), Newport Beach, USA, March 2011.

• ”An Invariant Preserving Transformation for PLC Models“ by J. O. Blech, A. Hattendorf, J. Huang; IEEE International Workshop on Model-Based Engineering for Real- Time Embedded Systems Design, Newport Beach, USA, March 2011.

• ”Incremental Component-based Construction and Verification using Invariants“ by S. Bensalem, M. Bozga, A. Legay, T-H. Nguyen, J. Sifakis, R. Yan; FMCAD'10: Formal Methods in Computer Aided Design, Lugano, Switzerland, Oct. 2010.

• ”A Cross-Domain Multi-Processor System-on-a-Chip for Embedded Real-Time Systems“ by R. Obermaisser, H. Kopetz, C. Paukovits in Journal ”IEEE Transactions on Industrial Informatics“.

---

Press Releases
2010-08-09: TTTech issues press release on ACROSS
2010-05-06: 1st ACROSS Press Release


---

PR material
ACROSS leaflet


---

Media Coverage


• Multi-core technologies - the search for the grail (page 20) (ARTEMIS Magazine December 2010 No 8)
• ARTEMIS-JU CALL 2009: 13 SELECTED PROJECTS (page 32) (ARTEMIS Magazine March 2010 No 6)

---

Related Information


• Book: GENESYS: A Candidate for an ARTEMIS Cross-Domain Reference Architecture for Embedded Systems, R. Obermaisser, H.Kopetz (editors)