Premium
Object levels and categories in O4S™ (Objects For Systems) for engineering of dependable systems
Author(s) -
Ögren Ingmar
Publication year - 1997
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.1997.tb02173.x
Subject(s) - dependability , computer science , programming language , notation , object (grammar) , object oriented programming , operator (biology) , basis (linear algebra) , software engineering , artificial intelligence , mathematics , biochemistry , chemistry , geometry , arithmetic , repressor , transcription factor , gene
The general O4S™ object concept is introduced with objects having offered/required interfaces and internal behavior. To support efficient system engineering objects are identified on Project, Configuration Item and Ordinary level. Object categories are introduced to model how objects of categories Operator, Software and Hardware cooperate to complete Missions. As a formal notation, the design language Odel, based on the programming language Ada95 is introduced. It is also shown how Odel gives a basis to use the traditional techniques of FTA and FMEA to analyze system dependability.