Public deliverables

  • D1.3  Report on the Evolution of Co-Engineering Standards
  • D1.2 – Report on the future challenges to be overcome for dependability co-engineering
  • D1.3 – Report on the evolution of co-engineering standards
  • D1.9 – Report on the Evolution of Co-Engineering Standard Version 2.0
  • D3.1 – Specification of Safety, Security and Performance Analysis and Assessment Techniques
  • D3.2 – Combined Safety, Security and Performance Analysis and Assessment Techniques – Preliminary
  • D4.1 – Report on Co-Engineering Process Support
  • D5.2 – Website
  • D5.3 – Communication/dissemination material (V2)
  • D5.6 – Communication/dissemination material v3

Upcoming Deliverables (2020):

 

  • D4.4 – Report on tools prototyping and integration

Other documents

Book chapters

  • O. Netkachov, P. Popov, K. Salako. Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures. Chapter in book: Advanced Sciences and Technologies for Security Applications series, Springer, 2018.

Journal articles

  • J. Favaro, S. Mazzini, P. Popov, L. Strigini, “AQUAS: A Project to Bridge the Gaps between Safety and Security Processes”, Ada User Journal, Vol 39, N.4, December 2018 [link]
  • L. Pomante et al., “The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle”, Microprocessors and Microsystems, Vol 69, Pages 54-67, September 2019 [link]
  • L. Pomante, V. Muttillo, M. Santic, P. Serri, “SystemC -based Electronic System-Level Design Space Exploration Environment for Dedicated Heterogeneous Multi-Processor Systems”, Microprocessors and Microsystems, Volume 72, 2020. [link]
  • Muttillo, V., Tiberi, L., Pomante, L.: “Benchmarking Analysis of Hypervisor Technologies for Aerospace Multi-core Systems”, In: Journal of Aerospace Information Systems (JAIS). [link]
  • G. Valente, P. Giammatteo, V. Muttillo, L. Pomante, T.D. Mascio “A Lightweight, Hardware-Based Support for Isolation in Mixed-Criticality Network-on-Chip Architectures”, Advances in Science, Technology and Engineering Systems Journal, vol. 4, no. 4, pp. 561-573 (2019). [link]
  • Ivan Homoliak, Flavio Toffalini, Juan Guarnizo, Yuval Elovici, and Martín Ochoa. 2019. Insight Into Insiders and IT: A Survey of Insider Threat Taxonomies, Analysis, Modeling, and Countermeasures. ACM Comput. Surv. 52, 2, Article 30, April 2019. [link]
  • Mlynek, P., Fujdiak, R., Mrnustik, P., Krena, B., & Apvrille, L.  Co-Engineering Gap Analysis of ANSI/ISA‑62443‑3‑3. International Journal of Advances in Telecommunications, Electrotechnics, Signals and Systems, 9(1), 1-9, 2020. [link]
  • HARTEL Pieter H., HOMOLIAK Ivan, and REIJSBERGEN Daniel. An Empirical Study into the Success of Listed Smart Contracts in Ethereum. IEEE Access, 7(12), pp. 177539-177555. 2019. [link]

Conference papers

  • P. Popov. Models of reliability of fault-tolerant software under cyber-attacks. 28th IEEE International Symposium on Software Reliability Engineering (ISSRE’2017). 2017, IEEE: Toulouse, France, 22-26 October, 2017. p. 228-239. (CITY) [link]
  • I. Homoliak, M. Barabas, P. Hanáček. Exploitation of NetEm Utility for Non-payload-based Obfuscation Techniques Improving Network Anomaly Detection. In Proc. of 12th International Conference on Security and Privacy in Communication Networks, LNICST 198, Springer-Verlag, pp. 770-773, 2017. (BUT) [link]
  • J. M. Lourenco, J. Fiedor, B., Křena, T. Vojnar. Discovering Concurrency Errors. In: Lectures on Runtime Verification, Bartocci, E., Falcone, Y. (eds.), LNCS/LNPSE 10457, Springer-Verlag, 2018. (BUT) [link] [link2]
  • J. Real, S. Sáez, A. Crespo. Ravenscar Support for Time-Triggered Scheduling. 19th International Real-Time Ada Workshop IRTAW 2018, 18-20 April, 2018. (ITI) [link]
  • V.  Muttillo, G. Valente, D. Ciambrone, V.  Stoico, L.  Pomante. HEPSYCODE-RT:  a Real-Time Extension for an ESL HW/SW Co-Design Methodology. Proceedings of the 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO’18), ACM, New York, NY, USA, 2018. (UNIVAQ) [link] [link2]
  • V.  Muttillo, G. Valente, L. Pomante. Criticality-driven Design Space Exploration for Mixed-Criticality Heterogeneous Parallel Embedded Systems. In Proceedings of the 9th Workshop and 7th Workshop on Parallel Programming and RunTime Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM ’18).  ACM, New York, NY, USA, 2018, pp. 63-68. (UNIVAQ) [link] [link2]
  • V. Muttillo, G. Valente, L. Pomante, V. Stoico, F. D’Antonio, F. Salice. CC4CS: an Off-the-Shelf Unifying Statement-Level Performance Metric for HW/SW Technologies. In Companion of the 2018 ACM/SPEC International Conference on Performance Engineering (ICPE ’18), ACM, New York, NY, USA, 2018, pp. 119-122. (UNIVAQ) [link] [link2]
  • V. Muttillo, G. Valente, L. Pomante. Criticality-aware Design Space Exploration for Mixed Criticality Embedded Systems. In Proceedings of the 9th ACM/SPEC on International Conference on Performance Engineering (ICPE ’18), ACM, New York, NY, USA, 2018. (UNIVAQ) [link] [link2]
  • R. Fujdiak, P. Mlynek, P. Blazek, M. Barabas, P. Mrnustik. Seeking the Relation between Performance and Security in Modern Systems: Metrics and Measures. In Proceedings of the 41st International Conference on Telecommunications and Signal Processing (TSP), 2018 [link] [link]
  • T. Gruber, B. Fischer, C. Schmittner, M. Matschnig. “Co-Engineering-in-the-Loop”; Vortrag: SAFECOMP 2018, DECSoS Workshop, Västeras, Sweden; 18.09.2018; in: “Computer Safety, Reliability, and Security, SAFECOMP 2018 Workshops Proceedings ASSURE, DECSoS, SASSUR, STRIVE, and WAISE”, Springer International Publishing AG, Cham, Switzerland, Springer LNCS 11094 (2018), ISBN: 978-3-319-99228-0; pp. 151163 [link] [link]
  • A. Shaaban, E. Kristen, C. Schmittner. „Application of IEC 62443 for IoT Components”; Vortrag: SAFECOMP 2018, DECSoS Workshop, Västeras, Sweden; 18.09.2018; in: “Computer Safety, Reliability, and Security, SAFECOMP 2018 Workshops Proceedings ASSURE, DECSoS, SASSUR, STRIVE, and WAISE”, Springer International Publishing AG, Cham, Switzerland, Springer LNCS 11094 (2018), ISBN: 978-3-319-99228-0; pp. 214–123 [link]
  • Erwin Schoitsch, “Smart Systems Everywhere–how much smartness is tolerable?”, IDIMT 2017, Proceedings IDIMT 2017, Trauner Verlag, Linz, Austria, Schriftenreihe Informatik 46, pp. 361374 (ISBN 978-3-99062-119-6) [link]
  • Erwin Schoitsch, “Smart Systems Everywhere – Intelligence, Autonomy, Technology and Society”, IDIMT 2018, Proceedings IDIMT 2018, Trauner Verlag, Linz, Austria, Schriftenreihe Informatik 47, pp. 153165 (ISBN 978-3-99062-339-8) [link]
  • V. Muttillo, G. Fiorilli, T. Di Mascio. 2019. “Tuning DSE for Heterogeneous Multi-Processor Embedded Systems by means of a Self-Equalized Weighted Sum Method”, In Proceedings of the 10th and 8th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2019) [link]
  • J. Fiedor, M. Mužikovská, A. Smrčka, O. Vašíček, T. Vojnar. Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs. In: Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York: Association for Computing Machinery, 2018 [link]
  • Marc Sango, Jean Godot, Antonio Gonzalez, Ricardo Ruiz Nolasco, “Model-Based System, Safety and Security Co-Engineering Method and Toolchain for Medical Devices Design”, In Proceedings of DMD’2019, 2019, Minneapolis, USA [link]
  • FUJDIAK, R.;  MLÝNEK, P.; BLAŽEK, P.; BARABAS, M.; MRNUŠTÍK, P.; BORČÍK, F.; MIŠUREC, J.; Managing the Secure Software Development; 10th IFIP International Conference on New Technologies, Mobility & Security 2019 [link]
  • Radek Fujdiak, Petr Blazek, Ludovic Apvrille, Zdenek Martinasek, Petr Mlynek, Renaud Pacalet, David Smekal, Pavel Mrnustik, Maros Barabas, and Maysam Zoor: Modeling the Trade-off Between Security and Performance to Support the Product Life Cycle, 8th Mediterranean Conference on Embedded Computing (MECO) [link] [link2]
  • Radek Fujdiak, Petr Blazek, Petr Mlynek, Jiri Misurec: Developing Battery of Vulnerability Tests for Industrial Control Systems, 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS) [link] [link2]
  • Strigini, L., & Gadala, M. (2020, January). Human Factors Standards and the Hard Human Factor Problems: Observations on Medical Usability Standards. In Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (p. 119). SCITEPRESS, February 2020. [link]
  • Fujdiak, R., Pokorny, J., Zobal, L., Popov, P. T., Stankovic, V., Mlynek, P., Mrnustik, P., Blazek, P., Musil, P. and Misurec, J. Security and Performance Trade-offs for Data Distribution Service in Flying Ad-Hoc Networks. In Procedeengs of “The 11th International Congress on Ultr Modern Telecommunications and Control Systems”, Dublin, Ireland, October 2019. [link] [link2]
  • Abdelkader Magdy Shaaban, Christoph Schmittner, and Thomas Gruber, Tackling the challenges of IoT security testing using ontologies. In Proceedings of IDIMT-2019 Innovation and Transformation in a Digital World, Kutná Hora, Czechia, 2019. [link]
  • Abdelkader Magdy Shaaban, Thomas Gruber, Christoph Schmittner, Ontology-Based Security Tool for Critical Cyber-Physical Systems. Proceedings of the 23rd International Systems and Software Product Line Conference – Volume B Pages 207-210. Paris, France, September 2019. [link]
  • Siddhartha Verma,, Thomas Gruber, Christoph Schmittner, Peter Puschner. Combined Approach for Safety and Security2. In DECSOS Workshop at SAFECOMP 2019, Turku, Finland, Springer LNCS 11699, Safecomp 2019 Workshop Proceedings, p. 87-101, ISBN 978-3-030-26249-5 [link]
  • Erwin Schoitsch, “Beyond Smart Systems – Creating a Society of the Future (5.0) Resolving Disruptive Changes and Social Challenges”, IDIMT 2019, Innovation and Transformation in a Digital World, Proceedings, Trauner Verlag, Linz, Austria, 2019. [link]
  • Alejandra Ruiz, Javier Puelles, Jabier Martinez (Tecnalia), Thomas Gruber (AIT), Martin Matschnig, and Bernhard Fischer (Siemens AG Österreich): “Preliminary Safety and Security Co-engineering Process in the Industrial Automation Sector”, Embedded Real Time Systems ERTS 2020, Toulouse, France, January 2020 [link]
  • Magdy El Sadany (AIT), Christoph Schmittner (AIT), and Wolfgang Kastner (TU Vienna): Assuring compliance with protection profiles with Threatget; in DECSOS Workshop at SAFECOMP 2019, Turku, Finland, Springer LNCS 11699, Safecomp 2019 Workshop Proceedings, p. 62-73, ISBN 978-3-030-26249-5 [link]
  • V. Muttillo, “J4CS: An Early-Stage Statement-Level Metric for Energy Consumption of Embedded SW,” 2019 8th Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro, 2019, pp. 1-5. [link] [link]
  • L. Pomante, V. Muttillo, P. Balbastre, J. Simo and A. Crespo, “HW/SW Co-Design Framework for Mixed-Criticality Embedded Systems considering Xtratum-based SW Partitions”, Euromicro Conference on Digital System Design (DSD). 2019 [link] [link]
  • Vittoriano Muttillo, Paolo Giammatteo, Giuseppe Fiorilli, and Luigi Pomante. 2020. An OpenMP Parallel Genetic Algorithm for Design Space Exploration of Heterogeneous Multi-processor Embedded Systems. In Proceedings of the 11th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures / 9th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM’2020). ACM, New York, NY, USA, Article 4, 1–6. [link]
  • M. Zoor, L. Apvrille and R. Pacalet, “Impact of Security Measures on Performance Aspects in SysML Models”, Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development – Volume 1: MODELSWARD, 373-380, 2020, Valletta, Malta. [link]
  • S. Li et al., “Polygraph Tool Suite: Configuration and Conformity Validation for Data Flow Based Real-Time Systems”, in RTSS@Work 2019, York, UK [link]
  • Olga Dedi, Andreas Werner, Robert Kaiser, Reinhold Kroeger “Unified Approach to Static & Runtime Verification”, Gesellschaft für Informatik e.V. (GI), SENSYBLE 2020 Workshop, Lecture Notes in Informatics (LNI), October 2020, Accepted
  • J. Martinez, J. Godot, A. Ruiz, A. Balbis and R. Ruiz Nolasco. “Safety and Security Interference Analysis in the Design Stage”. DECSoS workshop at SAFECOMP, 15th International Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems, Lisbon, Portugal (on-line), 15 September (to appear)
  • Maysam Zoor, Ludovic Apvrille, and Renaud Pacalet. 2020. SysML Models: Studying Safety and Security Measures Impact on Performance Using Graph Tainting. In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), October 18–23, 2020, Virtual Event, Canada. ACM, New York, NY, USA, 10 pages.
    https://doi.org/10.1145/3417990.3419225 [link]

Presentations

  • D. Ciambrone, V. Muttillo, G. Valente, L. Pomante. HW/SW Co-Simulator for Embedded Heterogeneous Parallel Systems. Euromicro Conference on Digital Systems Design (DSD) – WIP Session, 2017. (UNIVAQ)
  • D. Kozák, B. Křena, H. Pluháčková, T. Vojnar. Search-Based Testing of Concurrent Java Programs using RoadRunner Analysis Framework [poster]. MEMICS 2017. Telč, Czech Repulic, 2017. (BUT) [link]
  • V. Stoico, V. Muttillo, G. Valente, F. D’Antonio. CC4CS: An Off-the-Shelf Unifying Statement-Level Performance Metric for HW/SW Technologies. Euromicro Conference on Digital Systems Design (DSD) – WIP Session, 2017. (UNIVAQ)
  • C.Schmittner, T.Gruber. Inside Product Lifecycle Stages, Presentation at CE-ELITE: Workshop on Co-engineering – Enabling Infrastructure for New Computing Technologies, HIPEAC 2019, Valencia, 2019

Promotional Materials

  • ECSEL JU Book of Project vol. 2 [link]
  • Haydn Thompson, Meike Reimann (Lead authors). Platforms4CPS Key Outcomes and Recommendations, ISBN 978-3-95663-184-9, Steinbeis-Edition October 2018 [link]