Latest news from the project are shown below.
The paper "A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain", by Leonardo Montecchi, Atle Refsdal, Paolo Lollini, and Andrea Bondavalli, has been accepted to the 46th IEEE/IFIP International Conference on Dependable
Read more…The paper "Mandatory and Potential Choice: Comparing Event-B and STAIRS" by Atle Refsdal, Ragnhild Kobro Runde and Ketil Stølen will appear in the book "From Action Systems to Distributed Systems - The Refinement Approach". Edited by Luigia Petre and
Read more…The CONCERTO project has been presented at the Second International Workshop on Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering (DeCPS 2015). See details on the De-CPS web page
Read more…The paper "Software Faults Emulation at Model-Level: Towards Automated Software FMEA", by Valentina Bonfiglio, Leonardo Montecchi, Ivano Irrera, Francesco Rossi, Paolo Lollini, and Andrea Bondavalli, has been accepted for the 1st Workshop on Safety a
Read more…The paper "The CONCERTO methodology for model-based development of avionics software" by Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen and Stefano Puri has been accepted for the 20th International Conference on Reliable Software Technologies (A
Read more…The demo "Modelling Avionics Applications with CONCERTO" by Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Tullio Vardanega and Eduardo Tovar has been accepted for RTSS@Work 2014, the demo session organized as part of the IEEE Real-Time Systems
Read more…The paper "SPRINT: Extending RUN to Schedule Sporadic Tasks" by Andrea Baldovin, Geoffrey Nelissen, Tullio Vardanega and Eduardo Tovar has been presented at the 22nd International Conference on Real-Time Networks and Systems (RTNS 2014), held in Vers
Read more…The paper "Executable Models to Support Automated Software FMEA", by Valentina Bonfiglio, Leonardo Montecchi, Francesco Rossi,
Paolo Lollini, András Pataricza, and Andrea Bondavalli, has been accepted for the 16th IEEE International Symposium on High
Clemens Ballarin. Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A. In B. Bonakdarpour and S.A. Smolka, RV 2014, LNCS 8734, pages 15–30, 2014. © Springer (Publisher's Version)
Roşu and Chen's algorithm is at the core of the JavaMOP run
Read more…The paper "Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis" by Barbara Gallina, Edin Sefer and Atle Refsdal has been accepted for the 2nd International Workshop on Risk Assessment and Risk-driven Testing (RISK 201
Read more…The CHESS Component Model, which will be extended in the CONCERTO project, was recently published in the Journal of Systems and Software (Elsevier). The publication is available in open access at the following link.
Read more…On May the 7th the Healthcare Technologies Knowledge Center, the Department of Measurement and Information Systems and the Department of Automation and Applied Informatics at the Budapest University of Technology and Economics organized a joint Artem
Read more…The paper "Divide and Conquer – Towards a Notion of Risk Model Encapsulation" by Atle Refsdal, Øyvind Rideng, Bjørnar Solhaug, and Ketil Stølen has been accepted for publication in "Engineering Secure Future Internet Services", LNCS 8431, published b
Read more…The CONCERTO project partners will have a project meeting 5-6 May 2014 hosted by the Budapest University of Technology and Economics.
The meeting will focus on finalisation of deliverables from the first phase of the project and launching development
