Formalizing Software Architectures for Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Consistent Graphical Specification of Distributed Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Loose synchronization of event-triggered networks for distribution of synchronous programs
Proceedings of the 4th ACM international conference on Embedded software
Models for model's sake: why explicit system models are also an end to themselves.
Proceedings of the 30th international conference on Software engineering
Product Line Based Reuse Methodology for Developing Generic ECU
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
Improving verification process in driverless metro systems: the MBAT project
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Model-Based usage control policy derivation
ESSoS'13 Proceedings of the 5th international conference on Engineering Secure Software and Systems
Hi-index | 0.00 |
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for model-based development of automotive control software, based on problem-specific design notations with an explicit formal foundation. Based on the existing AutoFOCUS framework, a tool prototype is being developed in order to illustrate and validate the key elements of our approach.