schliessen

Filtern

 

Bibliotheken

Translate the Stateflow Models into Alloy for Safety Analysis

Safety analysis is widely appreciated for critical systems. Model-based safety analysis is emerged under the background of mode-based development. For automated model-based safety analysis, extended models should be translated into script of input of formal analyzer. Consequently, many translation s... Full description

Journal Title: Applied Mechanics and Materials 2014, Vol.490, pp.1702-1705
Main Author: Cui, Chang Chang
Other Authors: Li, Guo Qi
Format: Electronic Article Electronic Article
Language: English
Subjects:
ID: ISSN: 1660-9336 ; E-ISSN: 1662-7482 ; DOI: 10.4028/www.scientific.net/AMM.490-491.1702
Link: http://www.scientific.net/AMM.490-491.1702
Zum Text:
SendSend as email Add to Book BagAdd to Book Bag
Staff View
recordid: transtech10.4028/www.scientific.net/AMM.490-491.1702
title: Translate the Stateflow Models into Alloy for Safety Analysis
format: Article
creator:
  • Cui, Chang Chang
  • Li, Guo Qi
subjects:
  • Computer Programs
  • Alloys
  • Concrete
  • General
  • Alloy Analyzer
  • Model Checking
  • Safety Analysis
  • Stateflow
ispartof: Applied Mechanics and Materials, 2014, Vol.490, pp.1702-1705
description: Safety analysis is widely appreciated for critical systems. Model-based safety analysis is emerged under the background of mode-based development. For automated model-based safety analysis, extended models should be translated into script of input of formal analyzer. Consequently, many translation systems are constructed. In this paper, we explore the translating method between Stateflow models and Alloy, which is a declarative specification language for expressing complex structural constraints and behavior in a software system. Concrete translation systems could be built based on the method.
language: eng
source:
identifier: ISSN: 1660-9336 ; E-ISSN: 1662-7482 ; DOI: 10.4028/www.scientific.net/AMM.490-491.1702
fulltext: fulltext
issn:
  • 1660-9336
  • 1662-7482
  • 16609336
  • 16627482
url: Link


@attributes
ID1146566148
RANK0.07
NO1
SEARCH_ENGINEprimo_central_multiple_fe
SEARCH_ENGINE_TYPEPrimo Central Search Engine
LOCALfalse
PrimoNMBib
record
control
sourcerecordid10.4028/www.scientific.net/AMM.490-491.1702
sourceidtranstech
recordidTN_transtech10.4028/www.scientific.net/AMM.490-491.1702
sourcesystemPC
pqid1512322863
display
typearticle
titleTranslate the Stateflow Models into Alloy for Safety Analysis
creatorCui, Chang Chang ; Li, Guo Qi
ispartofApplied Mechanics and Materials, 2014, Vol.490, pp.1702-1705
identifier
descriptionSafety analysis is widely appreciated for critical systems. Model-based safety analysis is emerged under the background of mode-based development. For automated model-based safety analysis, extended models should be translated into script of input of formal analyzer. Consequently, many translation systems are constructed. In this paper, we explore the translating method between Stateflow models and Alloy, which is a declarative specification language for expressing complex structural constraints and behavior in a software system. Concrete translation systems could be built based on the method.
languageeng
source
subjectComputer Programs ; Alloys ; Concrete ; General ; Alloy Analyzer ; Model Checking ; Safety Analysis ; Stateflow;
version4
lds50peer_reviewed
links
openurl$$Topenurl_article
backlink$$Uhttp://www.scientific.net/AMM.490-491.1702$$DView this record in Scientific.Net (Trans Tech Publications)
openurlfulltext$$Topenurlfull_article
search
creatorcontrib
0Cui, Chang Chang
1Li, Guo Qi
titleTranslate the Stateflow Models into Alloy for Safety Analysis
descriptionSafety analysis is widely appreciated for critical systems. Model-based safety analysis is emerged under the background of mode-based development. For automated model-based safety analysis, extended models should be translated into script of input of formal analyzer. Consequently, many translation systems are constructed. In this paper, we explore the translating method between Stateflow models and Alloy, which is a declarative specification language for expressing complex structural constraints and behavior in a software system. Concrete translation systems could be built based on the method.
general
010.4028/www.scientific.net/AMM.490-491.1702
1eng
2Scientific.Net (Trans Tech Publications)
sourceidtranstech
recordidtranstech10.4028/www.scientific.net/AMM.490-491.1702
issn
01660-9336
11662-7482
216609336
316627482
rsrctypearticle
creationdate2014
recordtypearticle
addtitleApplied Mechanics and Materials
searchscopetranstech
scopetranstech
lsr30VSR-Enriched:[subject, issue, pqid, vol, pages, isbn]
sort
titleTranslate the Stateflow Models into Alloy for Safety Analysis
authorCui, Chang Chang ; Li, Guo Qi
creationdate20140402
facets
frbrgroupid-5291404659709577988
frbrtype5
languageeng
creationdate2014
collectionScientific.Net (Trans Tech Publications)
prefilterarticles
rsrctypearticles
creatorcontrib
0Cui, Chang Chang
1Li, Guo Qi
jtitleApplied Mechanics And Materials
toplevelpeer_reviewed
delivery
delcategoryRemote Search Resource
fulltextfulltext
addata
aulast
0Cui
1Li
aufirst
0Chang Chang
1Guo Qi
au
0Cui, Chang Chang
1Li, Guo Qi
atitleTranslate the Stateflow Models into Alloy for Safety Analysis
jtitleApplied Mechanics and Materials
risdate20140402
volume490-491
spage1702
epage1705
issn1660-9336
eissn1662-7482
genrearticle
ristypeJOUR
abstractSafety analysis is widely appreciated for critical systems. Model-based safety analysis is emerged under the background of mode-based development. For automated model-based safety analysis, extended models should be translated into script of input of formal analyzer. Consequently, many translation systems are constructed. In this paper, we explore the translating method between Stateflow models and Alloy, which is a declarative specification language for expressing complex structural constraints and behavior in a software system. Concrete translation systems could be built based on the method.
pubTrans Tech Publications
doi10.4028/www.scientific.net/AMM.490-491.1702
issueMechanical Design and Power Engineering
pages1702-1705
isbn9783038350019
date2014-04-02