The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Combining CSP and Object-Z: Finite or Infinite Trace Semantics?
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
Abstract Specification in Object-Z and CSP
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Schedulability analysis of AADL models
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Combining CSP and b for specification and property verification
FM'05 Proceedings of the 2005 international conference on Formal Methods
A concurrent language for refinement
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Hi-index | 0.00 |
This paper defines formally the composite behavior of two main embedded software components; application software and platform. The two typical embedded software components interact with one another continuously to achieve the purpose of system, but they have different computation characteristics; application software is oriented to data-flow for implementing software's functionalities, whereas the platform is oriented to control-ow for the control of software's executions. Hence, it is not easy to represent those capabilities in one behavioral model to analyze their composite behaviors. Thus, this paper presents a formal modeling framework, in which application software and platforms are defined in appropriate specification language suited to their own characteristics, and their behaviors in models are composed to capture their interactive and composite behaviors in their composite executions. In particular, we focus here on defining their composite behaviors in formal way.