A paper from BRACE and TU/e is presented at the FESCA workshop on April 3
- March 7, 2016
- Marcel Romijn
As a side effect of the work carried out on the Cruise Control Functional Safety project a paper was written and submitted for approval. Lead authors were the students that worked on the project and supervisors of BRACE and the TU/e supported. This paper will be presented at the "13th International Workshop on Formal Engineering approaches to Software Components and Architectures -
Satellite event of ETAPS, April 3rd, 2016, Eindhoven, Netherlands"
The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for software engineering. In recent years, the growing importance of functional correctness and the increased relevance of system quality properties (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. With the increasing complexity and utilization of today's software systems, FESCA aims at addressing two research questions: (1) what role is played by the software design phase in the systematic addressing of the analytical and modelling challenges, and (2) how can formal and semi-formal techniques be effectively applied to make the issues easier to address automatically, with lower human intervention.
Final versions of all accepted papers will be published in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS).
More information can be found at the Conference Website: http://d3s.mff.cuni.cz/conferences/fesca/pmwiki.php?n=Main.2016