eBiltegia

    • Euskara
    • Español
    • English
  • Contact Us
  • English 
    • Euskara
    • Español
    • English
  • About eBiltegia  
    • What is eBiltegia? 
    •   About eBiltegia
    •   Publish your research in open access
    • Open Access at MU 
    •   What is Open Science?
    •   Open Access institutional policy
    •   The Library compiles and disseminates your publications
  • Login
View Item 
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Research - Articles
  • Articles - Engineering
  • View Item
  •   eBiltegia MONDRAGON UNIBERTSITATEA
  • Research - Articles
  • Articles - Engineering
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Thumbnail
View/Open
A methodology for model-based verification of safety contracts and performance requirements.pdf (1.371Mb)
Full record
Impact

Web of Science   

Google Scholar
Microsoft Academic
Share
Save the reference
Mendely
Title
A methodology for model-based verification of safety contracts and performance requirements
Author
Illarramendi, Miren ccMondragon Unibertsitatea
Etxeberria, Leire ccMondragon Unibertsitatea
Author (from another institution)
Rodríguez, Ricardo J.
Benac Earle, Clara
Gomez Martinez, Elena
Research Group
Sistemas distribuidos de tiempo real
Published Date
2018
Publisher
SAGE
Keywords
Safety analysis
rail system safety
performance modelling
modelling/simulation
life cycle engineering
Abstract
The verification of safety requirements becomes crucial in critical systems where human lives depend on their correct functioning. Formal methods have often been advocated as necessary to ensure the r ... [+]
The verification of safety requirements becomes crucial in critical systems where human lives depend on their correct functioning. Formal methods have often been advocated as necessary to ensure the reliability of software systems, albeit with a considerable effort. In any case, such an effort is cost-effective when verifying safety-critical systems. Often, safety requirements are expressed using safety contracts, in terms of assumptions and guarantees. To facilitate the adoption of formal methods in the safety-critical software industry, we propose a methodology based on well-known modelling languages such as the unified modelling language and object constraint language. The unified modelling language is used to model the software system while object constraint language is used to express the system safety contracts within the unified modelling language. In the proposed methodology a unified modelling language model enriched with object constraint language constraints is transformed to a Petri net model that enables us to formally verify such safety contracts. The methodology is evaluated on an industrial case study. The proposed approach allows an early safety verification to be performed, which increases the confidence of software engineers while designing the system. [-]
URI
http://hdl.handle.net/20.500.11984/5630
Publisher’s version
https://doi.org/10.1177/1748006X16667328
ISSN
1748-006X
Published at
Journal of Risk and Reliability: Proceedings of the Institution of Mechanical Engineers, Part O  Vol. 232. Nº3. Pp. 227-247. June, 2018
Document type
Article
Version
Postprint – Accepted Manuscript
Rights
© 2018 SAGE Publications
Access
Open Access
Collections
  • Articles - Engineering [332]

Browse

All of eBiltegiaCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsResearch groupsPublished atThis CollectionBy Issue DateAuthorsTitlesSubjectsResearch groupsPublished at

My Account

LoginRegister

Statistics

View Usage Statistics

Harvested by:

OpenAIREBASE

Validated by:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Library
Contact Us | Send Feedback
DSpace
 

 

Harvested by:

OpenAIREBASE

Validated by:

OpenAIRERebiun
MONDRAGON UNIBERTSITATEA | Library
Contact Us | Send Feedback
DSpace