Structuring and Design of Reactive Systems Using RSDS and B

摘要: With the advent of comprehensive safety standards for software intensive related systems, such as IEC 61508 and its speciali-sations particular industry sectors (medical, machinery, process, etc), there is a need to establish combinations techniques which can be used by demonstrate conformance these developments. In this paper we describe one combination techniques, involving statecharts B, aimed at reactive control system development. We define strategies controller decomposition allow invariants distributed into subcontroller requirements, automatic synthesis controllers from invariants. A case study train illustrate ideas.