Automated, Compositional Safety & Reliability Analysis Via Semantic Representation Of Component Failure Behavior

A research and technology development project aiming to study compositional safety and reliability analysis techniques based on a semantic representation of the component failure behavior. Funded by the ESA Greek Task Force (European Space Agency, RFQ3-12080/07/NL/FM/na). Gnomon Informatics S.A. coordinated the project with the Aristotle University of Thessaloniki as research subcontractor. font>

Home | Projects | Publications | Partners | Related Links | News | People | Contact copyright � 2012 DSG group