567,853 Hits in 3.1 sec

Formal verification of automotive embedded software

Vassil Todorov, Frédéric Boulanger, Safouan Taha
2018 Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18  
Finally, we make a detailed analysis about our experiments and propose an approach introducing formal methods into the development of automotive embedded software.  ...  The way taken by some industries (e.g. aerospace, railway, nuclear) was by partially using formal verification techniques.  ...  INTRODUCING FORMAL METHODS IN THE INDUSTRY Some factors could help introducing formal methods in the industry: • Recommendation or requirement by the standards; • Availability of supporting tools that  ... 
doi:10.1145/3193992.3194003 dblp:conf/icse/TodorovBT18 fatcat:3ulswhtjf5cbjc5znyv256x4va

An approach to refinement checking of SysML requirements

Denis Makartetskiy, Riccardo Sisto
2011 ETFA2011  
During last years, the importance of safety aspects in industry has significantly increased.  ...  verification measures, namely, with refinement checking (checking whether a system description is really an implementation of another, more abstract, system description) applied to statemachines linked to SysML requirements  ...  In SysML requirements have been introduced as modeling elements.  ... 
doi:10.1109/etfa.2011.6059147 dblp:conf/etfa/MakartetskiyS11 fatcat:2p33gvd5jffrzpzwhqitx33wna

A formal systems engineering approach in practice: an experience report

Wolfgang Böhm, Maximilian Junker, Andreas Vogelsang, Sabine Teufl, Ralf Pinger, Karsten Rahn
2014 Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices - SER&IPs 2014  
, can be directly applied to a real-life, productive, industrial system.  ...  Furthermore, by applying such a structured modeling approach, we were able to reveal several issues in the original requirements specifications.  ...  However, evaluating how well the approach performs, when used with the requirements specification of a productive system would be a major step towards introducing the approach into industrial practice.  ... 
doi:10.1145/2593850.2593856 dblp:conf/icse/BohmJVTPR14 fatcat:tymc72jlrffs3my2h4mchau5ua

Formal Development for Railway Signaling Using Commercial Tools [chapter]

Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccoló Zingoni
2009 Lecture Notes in Computer Science  
This report presents the approach experimented by a railway signaling manufacturer for the development of applications through Simulink/Stateflow in a standard-regulated industrial framework.  ...  Given a set of system-level functional requirements, these can be partitioned into separate sets of unit requirements and then formalized into Stateflow models according to the GETS guidelines.  ...  Verification of functional requirements is provided at Stateflow chart level: unit requirements are translated into formulas made of Simulink blocks and validated against the Stateflow model through the  ... 
doi:10.1007/978-3-642-04570-7_15 fatcat:lng62z4thfddvhmedmopwkir3u

Developing BON as an Industrial-Strength Formal Method [chapter]

Richard F. Paige, Jonathan S. Ostroff
1999 Lecture Notes in Computer Science  
We describe the properties that an industrial-strength formal method must have, show how algorithm refinement can be done in BON (as an example of using BON for formal development), and contrast BON with  ...  A less known approach is BON (the Business Object Notation), which is based on the principles of seamlessness, reversibility and design by contract, making it an ideal basis for industrial-strength formal  ...  Gradual introduction capabilities, the ability to introduce formality gradually, over time, into a development setting [17, 22] . 3.  ... 
doi:10.1007/3-540-48119-2_46 fatcat:dfca6efxlnfxdmgeuktynlydgq

Increasing smart card dependability

Ludovic Casset, Jean-Louis Lanet
2002 Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC - EW10  
We provide a non trivial example of the use of formal methods. Moreover we reach our challenge, to formally implement a complex piece of code into a smart card.  ...  We also learn that the formalization of the informal specification is a key step where we have to pay a special attention.  ...  With this methodology introduced in section three, we will be able to provide metrics and figures on formal developments that can help industrials to get confidence in formal methods.  ... 
doi:10.1145/1133373.1133416 dblp:conf/sigopsE/CassetL02 fatcat:fztjsqkaxnbvxgjmw33yrjzcpa

A Review on Programming Approaches for Dynamic Industrial Cyber Physical Systems

Udayanto Dwi Atmojo, Valeriy Vyatkin
2018 2018 IEEE 16th International Conference on Industrial Informatics (INDIN)  
However, the wide adoption of ICPS requires rethinking approaches to their design and programming.  ...  production plants, transport and energy systems and infrastructures, often referred to as Industrial Cyber Physical Systems (ICPS).  ...  Meanwhile, a few attempts consider introducing formal semantics and MoCs into the IEC 61131-3. An example is [39] , which allow mapping of IEC 61131-3 into timed automata.  ... 
doi:10.1109/indin.2018.8471945 dblp:conf/indin/AtmojoV18 fatcat:w4cw675rhfdgbpgo6msj3tggxi

A Practical Architecture-Centric Analysis Process [chapter]

Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione
2006 Lecture Notes in Computer Science  
This analysis process satisfies the industrial requirements, since it is tool supported and based on semi-formal (UML-based) specifications.  ...  can be related to requirements and coding, and how to integrate new methodologies in the industrial software development life-cycle.  ...  This represents one of causes of the overhead required to introduce MODTEST in industrial development life-cycles (see Section 4) .  ... 
doi:10.1007/11921998_13 fatcat:ae5ufzjidbfsrpqthpisnn5qo4

(Auto)Focus approaches and their applications: A systematic review [article]

Maria Spichkova
2017 arXiv   pre-print
Focus, a framework for formal specification and development of interactive systems, was introduced approx. 25 years ago.  ...  In this paper we provide a literature review of the corresponding approaches, academic case studies and industrial applications of these methods.  ...  [68] introduced an research on incorporation of the human factors engineering into the software development process: The authors proposed to apply the human factors analysis not only the level of requirements  ... 
arXiv:1711.08123v1 fatcat:itmqcl4bvzgttcrp4bub2rnmjq

Teaching formal methods in the context of software engineering

Shaoying Liu, Kazuhiro Takahashi, Toshinori Hayashi, Toshihiro Nakayama
2009 ACM SIGCSE Bulletin  
We also present a curriculum to systematically introduce formal methods to students at university and a successful program of teaching formal methods to industry.  ...  In this paper, we discuss the importance of such a teaching paradigm and describe several specific techniques for teaching formal methods.  ...  We believe that our cooperation in both education and tools development will accelerate the process of transferring formal methods into industry.  ... 
doi:10.1145/1595453.1595457 fatcat:doglbmnhtbbetm2rhrrvyfn7hi

Experience of introducing the Vienna development method into an industrial organisation [chapter]

M. I. Jackson, B. T. Denvir, R. C. Shaw
1985 Lecture Notes in Computer Science  
CONCLUSION~ VDM, as a method for formal specification, can be successfully introduced into an industrial organisation, if appropriate levels of investment are made in the areas of: (i) Evaluation, by case  ...  -To act as a qualification body for VDM support tools. 419 To advise on courses, curricula and other matters related to the education and training required to introduce VDM into development centres°  ... 
doi:10.1007/3-540-15199-0_27 fatcat:ocrbu3m64fdp3azaktasgxcnci

Teaching of Formal Methods for Software Engineering

Maria Spichkova, Anna Zamansky
2016 Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering  
The use of Formal Methods (FMs) offers rigour and precision, while reducing ambiguity and inconsistency.  ...  The major barriers hindering the adoption of FMs in industry are the problems of understandability, comprehensibility, and scalability.  ...  Woodcock at al. present survey of industrial use, comparing the situation in 2009 with the most significant previous surveys, and discuss the issues surrounding the industrial adoption of formal methods  ... 
doi:10.5220/0005928503700376 dblp:conf/enase/SpichkovaZ16a fatcat:bslij6ymwjbv3jszyyj6caefki

Incorporation of Systems Engineering Into the Undergraduate Aerospace Engineering Curriculum

Steven Dobbs
2012 Journal of Aeronautics & Aerospace Engineering  
Then, a thirty hour formal course on the Fundamentals of Systems Engineering is required starting in the beginning quarter of the sophomore year.  ...  Conceptual and later preliminary systems designs are then presented to a panel of industry and government engineering and management experts for formal judging and feedback.  ...  Then, a thirty hour formal course on the Fundamentals of Systems Engineering is required starting in the beginning quarter of the sophomore year.  ... 
doi:10.4172/2168-9792.1000e108 fatcat:qly57siyd5ecdibbphqlofgpmi

Experiences in the Industrial use of Formal Methods

Janet Elizabeth Barnes
2011 Electronic Communications of the EASST  
By looking at a number of key properties that affect the success of deployment of tools and techniques in industry we attempt to put the challenges of industrial deployment of formal methods into perspective  ...  Despite the general success of the approach there are challenges to using formal methods in an industrial context.  ...  The customer introduced a change to the requirements part way through the design as a test to the robustness of the process.  ... 
doi:10.14279/tuj.eceasst.46.680 dblp:journals/eceasst/Barnes11 fatcat:sq7tmic7azelzca46s35fbsyuu

Formal verification: will the seedling ever flower?

Neil White, Stuart Matthews, Roderick Chapman
2017 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences  
A defect introduced during the requirements phase is comparatively cheap to fix if also found during the requirements phase.  ...  And above all, we need to introduce formal methods into the software life cycle in more creative and inventive ways that continue to deliver the clear benefits that they provide, while being easier to  ... 
doi:10.1098/rsta.2015.0402 pmid:28871051 fatcat:4ohio4dywrfddf7t3rya7y5rgm
« Previous Showing results 1 — 15 out of 567,853 results