The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic generation of state invariants from requirements specifications
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Specification-based prototyping for embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Explanation-based Scenario Generation for Reactive System Models
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Formal methods for intelligent transportation systems
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
| Hi-index | 0.00 |
The ideal of correct software has always been the goal of research in the field of Information Technologies. For the next years scientific communities hope for a great challenge: a complete strategy in software programming and software engineering supported by a range of analysis tools to design, develop, integrate, verify and maintain software applications with mathematical rigor. In this challenge formal methods shall play a key role. The adoption of these methodologies should be placed in the proper software engineering framework according to the software domain. In the avionic domain safety-critical software has to accomplish Federal Aviation Regulations by DO-178C or DO-278A means of compliance giving evidence that software implements its intended functions and does not perform unintended functions. DO-178B and DO-278A allowed formal methods without addressing specific process requirements. DO-178C instead is accompanied by a new RTCA Guideline DO-333 "Formal methods supplement to DO-178C and DO-278A". The paper aims to provide an overview of the above mentioned standard. It highlights key concepts about the proper adoption of formal methods to accomplish the standard and the related certification objectives and provides different cases according to the different granted verification techniques.