Institutional Research Information System (Università degli Studi di Trento) · 2009 · 13 citations · 2 references
EngineeringComputer EngineeringComputer ScienceEmbedded SystemsFault-tolerant SystemsSafety EngineeringEmbedded Systems ArchitectureEmbedded Systems DesignFault ModelingReal-time Systems DesignReliable System DesignSafety-critical Embedded SystemsEmbedded System ModelingEmbedded System VerificationError PropagationError Propagation AnalysisFunctional Requirements AnalysisFunctional Safety VerificationSafety-critical ArchitectureSystem Reliability
We present a comprehensive methodology for the specification and analysis of critical embedded systems. The methodology is based on an architectural design language that enables modeling of both software and hardware components, timed and hybrid behavior, faulty behavior and degraded modes of operation, error propagation and recovery. The methodology is supported by an integrated platform, implemented on top of state-of-the-art tools, that provides verification capabilities ranging from requirements analysis to functional verification, safety assessment, performability evaluation, diagnosis and diagnosability.
2