Early Validation of Deployment and Scheduling Constraints for MSC Specifications

Ferhat Khendek (1) , Christophe Lohr (1) , Li Xin Wang (1) , Xiao Jun Zhang (1) , Tong Zheng (1)

1 ECE - Electrical and Computer Engineering Department [Concordia]

Message Sequence Charts are widely used for the specification of functional requirements, including timing requirements. These requirements can be validated and used as input for the design stage, and subsequent phases. Deployment constraints are generally taken into account at the implementation stage only. These constraints may conflict and invalidate some of the functional/behavioral requirements already validated at a high level of abstraction in the requirement phase. In this paper, we propose to take into account some deployment constraints at the very early stage of development and check if the system functional requirements will not be impossible to meet at later stages when constraints like communication channel delays, process assignment to CPUs, and scheduling policies are taken into account.

Domaines: Informatique [cs]; Modélisation et simulation

Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao Jun Zhang, Tong Zheng. Early Validation of Deployment and Scheduling Constraints for MSC Specifications. Amyot, Danieland Williams, Alan W. System Analysis and Modeling: 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1‐4, 2004, Revised Selected Papers, Springer Berlin Heidelberg, pp.106--121, 2005, 978‐3‐540‐31810‐1. ⟨10.1007/978-3-540-31810-1_8⟩. ⟨hal-01674633⟩