Semantic Scholar uses AI to extract papers important to this topic.
Robot software controllers are often concurrent and time critical, and requires modern engineering approaches for validation and… Expand Because potential users have to choose a formal method before they can start using one, research on assessing the applicability… Expand Complex real-time systems must integrate physical processes with digital control, human operation and organisational structures… Expand Control engineers make extensive use of diagrammatic notations; control law diagrams are used in industry every day. Techniques… Expand This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming… Expand This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus , a generic framework for… Expand We introduce an approach for the construction of feature test models expressed in the CSP process algebra, from use cases… Expand We explore various definitions and characteristics of emergence, how we might recognise and measure emergence, and how we might… Expand In this work we propose a time model for Circus. The model is an extension to the model proposed by the unifying theories of… Expand A security and specification-oriented semantics for systems is given. The semantic model is derived from that for the trace model… Expand