Formal modeling and validation of Stateflow diagrams

Formal modeling and validation of Stateflow diagrams

Stateflow is an industrial tool for modeling and simulating control systems in model-based development. In this paper, we present our latest work on automatic verification of Stateflow using model-checking techniques. We propose an approach to systematically translate Stateflow diagrams to a formal...

Saved in:

書目詳細資料
Main Authors:	CHEN, Chunqing, SUN, Jun, LIU, Yang, DONG, Jin Song, ZHENG, Manchun
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2012
主題:	Model-based development Transformation Validation Model checking Stateflow Programming Languages and Compilers Software Engineering
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/5012 https://ink.library.smu.edu.sg/context/sis_research/article/6015/viewcontent/2012_Formal_Modeling_and_Validation_of_Stateflow_Diagrams.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Formal modeling and validation of Stateflow diagrams
由: Chen, C., et al.
出版: (2013)

Formal analysis for stateflow diagrams
由: Chen, C.
出版: (2013)

A formal framework for modeling and validating Simulink diagrams
由: CHEN, Chunqing, et al.
出版: (2009)

Developing model checkers using PAT
由: LIU, Yang, et al.
出版: (2010)

Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction
由: HAO, Jianye, et al.
出版: (2012)

Translating PDDL into CSP# - The PAT approach
由: LI, Yi, et al.
出版: (2012)

Specifying and verifying sensor networks: An experiment of formal methods
由: DONG, Jin Song, et al.
出版: (2008)

Verifying linearizability via optimized refinement checking
由: LIU, Yang, et al.
出版: (2013)

PRTS: An approach for model checking probabilistic real-time hierarchical systems
由: SUN, Jun, et al.
出版: (2011)

On combining state space reductions with global fairness assumptions
由: ZHANG, Shao Jie, et al.
出版: (2011)

PAT: Towards flexible verification under fairness
由: SUN, Jun, et al.
出版: (2009)

Symbolic model-checking of stateful timed CSP using BDD and digitization
由: NGUYEN, Truong Khanh, et al.
出版: (2012)

Fair model checking with process counter abstraction
由: SUN, Jun, et al.
出版: (2009)

Improved BDD-based discrete analysis of timed systems
由: NGUYEN, Truong Khanh, et al.
出版: (2012)

Model checking a model checker: A code contract combined approach
由: SUN, Jun, et al.
出版: (2010)

More anti-chain based refinement checking
由: WANG, Ting, et al.
出版: (2012)

Parameter synthesis for hierarchical concurrent real-time systems
由: ANDRÉ, Étienne, et al.
出版: (2014)

SpecDiff: Debugging formal specifications
由: Xing, Z., et al.
出版: (2013)

Using monterey phoenix to formalize and verify system architectures
由: ZHANG, Jiexin, et al.
出版: (2012)

Automatic compositional verification of timed systems
由: LIN, Shang-Wei, et al.
出版: (2012)

USMMC: A self-contained model checker for UML state machines
由: LIU, Shuang, et al.
出版: (2013)

Learning assumptions for compositional verification of timed systems
由: LIN, Shang-Wei Lin, et al.
出版: (2014)

Verifying stateful timed CSP using implicit clocks and zone abstraction
由: SUN, Jun, et al.
出版: (2009)

Event analytics
由: DONG, Jin Song, et al.
出版: (2014)

Integrating specification and programs for system modeling and verification
由: SUN, Jun, et al.
出版: (2009)

An analytical and experimental comparison of CSP extensions and tools
由: SHI, Ling, et al.
出版: (2012)

A verification system for interval-based specification languages
由: CHEN, Chunqing, et al.
出版: (2010)

Automatic generation of provably correct embedded systems
由: LIN, Shang-Wei, et al.
出版: (2012)

Machine-assisted proof support for validation beyond Simulink
由: CHEN, Chunqing, et al.
出版: (2007)

Scalable multi-core model checking fairness enhanced systems
由: LIU, Yang, et al.
出版: (2009)

Verification of orchestration systems using compositional partial order reduction
由: TAN, Tian Huat, et al.
出版: (2011)

Specifying and verifying event-based fairness enhanced systems
由: SUN, Jun, et al.
出版: (2008)

Automated synthesis of local time requirement for service composition
由: ANDRÉ, Étienne, et al.
出版: (2020)

Model checking hierarchical probabilistic systems
由: SUN, Jun, et al.
出版: (2010)

SCC-based improved reachability analysis for Markov decision processes
由: GUI, Lin, et al.
出版: (2014)

A formal model of semantic Web Service Ontology (WSMO) execution
由: WANG, Hai H., et al.
出版: (2008)

From verified model to executable program: the PAT approach
由: Zhu, Huiquan, et al.
出版: (2017)

Memory model sensitive bytecode verification
由: Huynh, T.Q., et al.
出版: (2013)

Towards expressive specification and efficient model checking
由: DONG, Jin Song, et al.
出版: (2009)

A formal semantics for complete UML state machines with communications
由: LIU, Shuang, et al.
出版: (2013)