List of publications produced within AMADEOS.

  • Publications explicitly acknowledging the support of the AMADEOS project
    • O. Höftberger, R. Obermaisser. “Runtime evaluation of ontology-based reconfiguration of distributed embedded real-time systems”. In Proceedings of the 12th IEEE International Conference on Industrial  Informatics (INDIN), pp. 538-544, July 2014. DOI: 10.1109/INDIN.2014.6945570.
    • A.Ceccarelli, M.Mori, P.Lollini, A.Bondavalli, “Introducing Meta-Requirements for Describing System of Systems” In Proceedings of the 16th International Symposium on High Assurance System Engineering (HASE), Daytona Beach, CA, USA, 8-10 January 2015, doi: 10.1109/HASE.2015.31.
    • Kopetz, H. Simplification Principles in the Design of Cyber-Physical Systems of Systems, In Complex Systems Design and Management, Ed. Auvray G. et al. ISBN 978-319-26109-2. pp.39-52. Springer Verlag. 2015.
    • H. Kopetz. “A Conceptual Model for the Information Transfer in System of Systems.” 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC). 2014. DOI: 10.1109/ISORC.2014.19
    • L. Montecchi, P. Lollini and A. Bondavalli. “A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models“. Proceedings of the 10th European Dependable Computing Conference (EDCC’14). 13-16 May 2014, doi: 10.1109/EDCC.2014.33.
    • H. Kopetz, O. Höftberger, B. Frömel, F. Brancati, A. Bondavalli, “Towards an Understanding of Emergence in Systems-of-Systems” In Proceedings of the 10th Annual System of Systems Engineering Conference (SoSE), May 2015. DOI: 10.1109/SYSOSE.2015.7151925
    • H. Kopetz, B. Frömel, and O. Höftberger. “Direct versus Stigmergic Information Flow in Systems-of-Systems” In Proceedings of the 10th Annual System of Systems Engineering Conference (SoSE), May 2015. DOI: 10.1109/SYSOSE.2015.7151963
    • A. Ceccarelli, A. Bondavalli, “On trustworthy measurements when testing dependable systems: a discussion and experiences”, IJCCBS, vol. 6, n°2, 2015. DOI: 10.1504/IJCCBS.2015.073543
    • M. Mori, A. Ceccarelli, P. Lollini, A. Bondavalli and B. Frömel. “A holistic viewpoint-based SysML Profile to Design Systems-of-Systems”. IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), 2016.
    • Sara Cleemput, Mustafa A. Mustafa and Bart Preneel. “High Assurance Smart Metering “. IEEE High Assurance Systems Engineering Symposium (HASE) 2016. DOI: 10.1109/HASE.2016.41; ISSN:1530-2059.
    • Divya Gupta, Lucas Perronne, Sara Bouchenak. BFTBENCH: a framework to evaluate robustness and effectiveness of BFT protocols in practice. Sixth ACM Symposium on Cloud Computing, Hawai’i, USA, August 27 29, 2015.
    • Divya Gupta, Lucas Perronne and Sara Bouchenak. BFT-Bench: A Framework to Evaluate BFT Protocols, Proc. ACM/SPEC International Conference on Performance Engineering (ACM/SPEC ICPE), Delft, The Netherlands, Mar. 2016. DOI: 10.1145/2851553.2858667
    • Marco Mori; Andrea Ceccarelli; Tommaso Zoppi; Andrea Bondavalli. On the impact of emergent properties on SoS security, International Conference on System of Systems Engineering (SoSE) 2016, Kongsberg, Norway
    • Bernhard Fromel. Interface Design in Cyber-Physical Systems-of-Systems, International Conference on System of Systems Engineering (SoSE) 2016, Kongsberg, Norway
    • Divya Gupta, Lucas Perronne and Sara Bouchenak. BFT-Bench: Towards a Practical Evaluation of Robustness and Effectiveness of BFT Protocols, 16th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS) 2016.
    • Lucas Perronne and Sara Bouchenak. Towards Efficient and Robust BFT Protocols, 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2016.
    • Sophie Cerf, Mihaly Berekmeri, Bogdan Robu, Nicolas MarchandTowards Control of MapReduce Performance and Availability, 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2016.
    • A. Sangroya, S. Bouchenak, D. Serrano. Experience with Benchmarking Dependability and Performance of MapReduce Systems. Elsevier Journal on Performance Evaluation, 2016.
    • Hermann Kopetz,Stephan Poledna. In-Vehicle Real-Time Fog Computing. 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN) 2016
    • R. Bernini, A. Bondavalli, P. Lollini, L. Montecchi. Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes. To appear in Proc. of the 12th European Dependable Computing Conference (EDCC 2016), Gothenburg, Sweden, September 5-9, 2016.
    • A. Bondavalli, A. Ceccarelli, P. Lollini, L. Montecchi, M. Mori. System-of-Systems to Support Mobile Safety Critical Applications: Open Challenges and Viable Solutions. To appear in IEEE Systems Journal, 2016.
    • Lucas Perronne, Sara Bouchenak. Towards Efficient and Robust BFT Protocols, 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) 2016
  • Publications related to AMADEOS activities but without explicit acknowledgement to AMADEOS
    • L. Montecchi, N. Nostro, A. Ceccarelli, G. Vella, A. Caruso and A. Bondavalli. “Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform”, Electronic Notes in Theoretical Computer Science, Vol. 310, January, 2015, pp. 113-133, doi:10.1016/j.entcs.2014.12.015.
    • L. Montecchi, P. Lollini and A. Bondavalli. “A Reusable Modular Toolchain for Automated Dependability Evaluation“. 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013). 10-12 December 2013, DOI=http://dx.doi.org/10.4108/icst.valuetools.2013.254395.
    • Mihaly Berekmeri, Damián Serrano, Sara Bouchenak, Nicolas. Marchand, Bogdan Robu. “A Control Approach for Performance of Big Data Systems”. In proccedings of 19th World Congress of the International Federation of Automatic Control (IFAC 2014).
    • Mihaly Berekmeri, Damián Serrano, Sara Bouchenak, Nicolas. Marchand, Bogdan Robu. “Application du contrôle pour garantir la performance des systèmes Big Data“. Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), 2014.
    • Amit Sangroya. “Towards Dependability and Performance Benchmarking for Cloud Computing Services”. PhD Thesis. 2014.
  • Invited presentation
    • H. Kopetz (TUW). “Why Global Time is Needed in a Dependable SoS”, EDSoS Workshop: Engineering Dependable System of Systems in connection with EDDC 2014., Newcastle upon Tyne, United Kingdom, 13-16 May, 2014.
    • Sara Bouchenak (UJF) at The 3rd Franco-American Workshop on CyberSecurity “Towards SLA-aware Cloud Computing”. December 8-10, 2014 in Lyon, France.
    • Sara Bouchenak (UJF) at Dagsthul Seminar “Model-driven Algorithms and Architectures for Self-Aware Computing Systems”, January 19-23, 2015, Dagstuhl, Germany.
    • Bogdan Robu (UJF) at Workshop HPES: High Performance Embedded Systems, co-located with HIPEAC 2015 Conference “Control of Big Data cloud services”. January 19 – 21, 2015, Amsterdam, Netherlands.
    • H. Kopetz (TUW). “From Embedded Systems to System of Systems”. ITASC Workshop: Intelligent Transportation and Smart City, Tongij University, Shanghai, 21-22 May, 2015.
    • H. Kopetz (TUW).  “Simplification Principles in the Design of Cyber-Physical System-of-Systems”.  CSD&M 2015 : Complex Systems Design and Management in Paris on Nov. 25, 2015.
    • Sara Bouchenak (UJF). “Towards Benchmarking and Evaluating Big Data Systems”.  EDiS 2015 : Embedded and Distributed SystemsConference, Oran, Algeria,  15-16 November, 2015.
    • Andrea Bondavalli (UNIFI), “Architecture for Multi-criticality Agile Dependable Evolutionary Open System-of-Systems (AMADEOS)”, Webinar Series on Systems of Systems, Systems of Systems Working Group, September 25 2015.
    • Paolo Lollini (UNIFI), “The AMADEOS SysML Profile for Cyber-physical Systems-of-Systems”, Open Workshop on Systems of Systems, May 28, 2015, Florence, Italy.
    • Andrea Bondavalli (UNIFI), “A view on Emergence”, EWICS Workshop on SoS, May 6, 2014, Pisa, Italy.
    • Sara Bouchenak (UGA), “Benchmarking environment for big data distributed systems: How to make empiric evaluation of (non-) controlled distributed systems easier”, 9th Cloud Control Workshop, Friiberghs Herrgård, Sweden, june 2016 (http://cloudresearch.org/workshops/9th).
    • Sara Bouchenak (UGA), Tommaso Cucinotta, “Resiliency, efficiency and predictability in cloud computing: Existing approaches and open challenges”, 9th Cloud Control Workshop, Friiberghs Herrgård, Sweden, june 2016
    • Paolo Lollini (UNIFI), “Cyber-Physical Systems-of-Systems: AMADEOS” at IWES 2016 – Italian Workshop on Embedded Systems – Pisa, Italy 19-20 September 2016.
  • Industry conferences & events
    • Smart Metering UK & Europe Summit, 30-31 January 2014 in London, Klaus Kursawe (ENCS);
    • NextGen SCADA Europe, 20 March 2014 in Amsterdam, Klaus Kursawe (ENCS);
    • Alliander, 10 April 2014 in Arnhem, Netherlands, Klaus Kursawe (ENCS);
    • Control System Security Center, 16 April 2014 in Tokyo, Japan, Benessa Defend (ENCS);
    • NEC, 21 April 2014 in Kawasaki, Japan, Benessa Defend (ENCS);
    • Enexis, 5 May 2014 in The Hague, Klaus Kursawe (ENCS).
    • VDI-Fachkonferenz Industrial IT Security. 7-8 May 2014 in Frankfurt, Klaus Kursawe (ENCS).
    • Challenges in Smart Grid and ICS Security, presentation by Klaus Kursawe (ENCS). National Cyber Security Center One Conference in The Hague, The Netherlands, June 3, 2014.
    • How to Secure Critical Infrastructure – The Approach of European Network for Cyber Security (ENCS), presentation by Klaus Kursawe (ENCS). Cyber Security for Oil and Gas Summit in Amsterdam, The Netherlands, Sept 30, 2014
    • Control System Security Center, 3 February 2015 in The Hague, Benessa Defend and Klaus Kursawe (ENCS).
    • National Institute of Information and Communications Technology (NICT), 20 February 2015 in The Hague, Benessa Defend and Klaus Kursawe (ENCS).
    • Delegates from the AMADEOS Consortium have attended the ARTEMIS-IA co-summit in Berlin on 10-11 March 2015 ( https://artemis-ia.eu/co-summit-2015/index.html ). The AMADEOS project was showcasing its advancement through a booth, where a poster, leaflets and running slides were available to be discussed with UNIFI and TUW researchers.
    • Privacy and Security in Smart Energy Grids, 2016, Dagstuhl Seminar. Talk on EV Smart
      Charging Security Architectures, Benessa Defend (ENCS).

 

Background

  • Andrea Bondavalli, Andrea Ceccarelli, and Paolo Lollini. 2010. Architecting and validating dependable systems: experiences and visions. In Architecting dependable systems VII, Antonio Casimiro, Rogério de Lemos, and Cristina Gacek (Eds.). Springer-Verlag.
  • Lollini, P.; Bondavalli, A.; Di Giandomenico, F., “A Decomposition-Based Modeling Framework for Complex Systems,” Reliability, IEEE Transactions on , vol.58, no.1, pp.20,33, March 2009
  • Malrait, L.; Bouchenak, S.; Marchand, N., “Experience with CONSER: A System for Server Control through Fluid Modeling,” Computers, IEEE Transactions on , vol.60, no.7, pp.951,963, July 2011
  • Sara Bouchenak, Gregory Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, and Alexander Shraer. 2013. Verifying cloud services: present and future. SIGOPS Oper. Syst. Rev.47, 2 (July 2013), 6-19.
  •  Hermann Kopetz. A Conceptual Model for the Information Transfer in a System-of-Systems.
  •  Hermann Kopetz. Towards an Understanding of Emergence in a System of Systems.
  • Amelot, J.; Fletcher, J.; Anand, D.; Vasseur, C.; Li-Baboud, Y.; Moyne, J., “An IEEE 1588 time synchronization testbed for assessing power distribution requirements,” Precision Clock Synchronization for Measurement Control and Communication (ISPCS), 2010 International IEEE Symposium on , vol., no., pp.13,18, Sept. 27 2010-Oct. 1 2010
  • Bondavalli, A.; Brancati, F.; Flammini, A.; Rinaldi, S., “Master Failure Detection Protocol in Internal Synchronization Environment,” Instrumentation and Measurement, IEEE Transactions on , vol.62, no.1, pp.4,12, Jan. 2013
  • Christian Cachin, Klaus Kursawe, Victor Shoup: Random Oracles in Constantinople: Practical Asynchronous Byzantine Agreement Using Cryptography. J. Cryptology 18(3): 219-246 (2005)
  • Klaus Kursawe and Victor Shoup. Optimistic Asynchronous Atomic Broadcast. Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005