An STPA-based formal composition framework for trustworthy autonomous maritime systems
Dana Dghaym, Thai Son Hoang, Stephen R. Turnock, Michael Butler, J. A. Downes, Ben Pritchard
Topics & Concepts
Software deploymentSystems engineeringComputer scienceUsabilityFormal verificationRisk analysis (engineering)Formal methodsProcess (computing)Computer securityIdentification (biology)EngineeringSoftware engineeringHuman–computer interactionBotanyMedicineAlgorithmOperating systemBiologySystems Engineering Methodologies and ApplicationsSafety Systems Engineering in AutonomyAdvanced Software Engineering Methodologies