Premium
7.1.4 Automatic Generation and Verification of Design Specifications for Railway Signalling Applications
Author(s) -
Robinson Neil,
Kearney Peter,
Tombs David,
Barney David,
Nikandros George
Publication year - 2001
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2001.tb02290.x
Subject(s) - computer science , systems engineering , process (computing) , functional requirement , software engineering , set (abstract data type) , engineering design process , signalling , functional design , engineering , programming language , mechanical engineering , microeconomics , economics
Abstract We describe a project to develop a set of design tools for a railway signalling application, which is safety critical and has complex functional requirements. The toolset generates design specifications from functional requirements and verifies them against safety principles. The project addresses the overall engineering design process and has applicability to other domains.