Resources

CONCERTO - an R&D project to further evolve the CHESS technologies
www.concerto-project.org

MARTE
UML Profile for model-driven development of Real Time and Embedded Systems

SysML
UML Profile for System Engineering


QoS&FT
UML Profile for Modeling QoS and FT Characteristics and Mechanisms

DO-178C
RTCA
RTCA Software Considerations in Airborne Systems Discussion Forum

Avionics certification
EASA
http://www.faa.gov/regulations_policies

Avionics development standards (ARP's)
SAE

Railway Certification Standards
CENELEC EN 50126: The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS)
CENELEC EN 50129: Safety Related Electronic Systems for Signalling
CENELEC EN 50128: Software for Railway Control and Protection Systems