Publication | Open Access

Contract-based modeling and verification of timed safety requirements within SysML

Safety EngineeringSafety-critical SystemEngineeringFormal ModelingSoftware System SafetyVerificationProcess ControlSoftware AnalysisSystems EngineeringComputer EngineeringFormal MethodsFormal VerificationSoftware DesignSystem SpecificationTimed Safety Requirements