A component framework for the runtime enforcement of safety properties
Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
Topics & Concepts
EnforcementComputer scienceComponent (thermodynamics)SoftwareSystem safetyArchitectureBlack boxDomain (mathematical analysis)Computer securityEmbedded systemSoftware engineeringEngineeringReliability engineeringOperating systemMathematicsArtArtificial intelligenceThermodynamicsLawMathematical analysisPhysicsVisual artsPolitical scienceAdvanced Software Engineering MethodologiesSafety Systems Engineering in AutonomySoftware Reliability and Analysis Research