Paper Info
Title
SSR: Statechart with shared resources
Abstract
In order to achieve an implementation correctly, it has been known that specification and its verification in early design stage is important, especially, during developing systems like safety critical systems or embedded real-time systems. Statechart is a widely used graphical formal specification language, however, it is not trivial to specify system with shared resources. In this paper, we introduce an extension of statechart, called statechart with shared resources (in short, SSR) and present process algebraic semantics of SSR. Having an abstraction of shared resources, designers can capture design requirement efficiently without any functional or implemental details of shared resources in the system. Since its semantics is based on a process algebra, SSR can be translated into a process algebra and its properties can be verified using process algebraic tools.
Year
DOI
Venue
2003
10.1109/HCC.2003.1260229
HCC
Keywords
DocType
ISBN
design verification,specification languages,algebraic specification,software tools,process algebraic tool,shared resource,real-time system,safety critical system,graphical formal specification language,visual programming,embedded system,design specification,resource sharing,design requirement,statechart,process algebraic semantics,embedded systems,process algebra,formal verification
Conference
0-7803-8225-0
Citations 
PageRank 
References 
2
0.43
2
Authors
3
Name
Order
Citations
PageRank
Sung-ho Jang1317.19
Ki-Seok Bang2203.63
Jin-young Choi360650.44