Matches in SemOpenAlex for { <https://semopenalex.org/work/W582699268> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W582699268 abstract "In the industry various testing methods are used to achieve high quality in software controlled systems. The demands on quality are especially high for safety critical systems, for instance control systems in vehicles. In this thesis two analysis methods (Fault Mode and Effects Analysis and Fault Tree Analysis) are used to develop a new safety test for a brake and gearbox control system made by Scania. It is also analyzed how formal development methods can be used to further increase quality and reliability. Model checking using NuSMV and Computational Tree Logic (CTL) is applied to a part of the studied systems and it is formally verified that the implementation fulfills the specification." @default.
- W582699268 created "2016-06-24" @default.
- W582699268 creator A5050546307 @default.
- W582699268 date "2007-01-01" @default.
- W582699268 modified "2023-09-24" @default.
- W582699268 title "Optimering av testning av säkerhetskritiska funktioner" @default.
- W582699268 hasPublicationYear "2007" @default.
- W582699268 type Work @default.
- W582699268 sameAs 582699268 @default.
- W582699268 citedByCount "0" @default.
- W582699268 crossrefType "journal-article" @default.
- W582699268 hasAuthorship W582699268A5050546307 @default.
- W582699268 hasConcept C107094494 @default.
- W582699268 hasConcept C110251889 @default.
- W582699268 hasConcept C115903868 @default.
- W582699268 hasConcept C117447612 @default.
- W582699268 hasConcept C121332964 @default.
- W582699268 hasConcept C127413603 @default.
- W582699268 hasConcept C163258240 @default.
- W582699268 hasConcept C163707989 @default.
- W582699268 hasConcept C198008173 @default.
- W582699268 hasConcept C199360897 @default.
- W582699268 hasConcept C200601418 @default.
- W582699268 hasConcept C2777904410 @default.
- W582699268 hasConcept C41008148 @default.
- W582699268 hasConcept C43214815 @default.
- W582699268 hasConcept C529173508 @default.
- W582699268 hasConcept C62520636 @default.
- W582699268 hasConcept C75606506 @default.
- W582699268 hasConceptScore W582699268C107094494 @default.
- W582699268 hasConceptScore W582699268C110251889 @default.
- W582699268 hasConceptScore W582699268C115903868 @default.
- W582699268 hasConceptScore W582699268C117447612 @default.
- W582699268 hasConceptScore W582699268C121332964 @default.
- W582699268 hasConceptScore W582699268C127413603 @default.
- W582699268 hasConceptScore W582699268C163258240 @default.
- W582699268 hasConceptScore W582699268C163707989 @default.
- W582699268 hasConceptScore W582699268C198008173 @default.
- W582699268 hasConceptScore W582699268C199360897 @default.
- W582699268 hasConceptScore W582699268C200601418 @default.
- W582699268 hasConceptScore W582699268C2777904410 @default.
- W582699268 hasConceptScore W582699268C41008148 @default.
- W582699268 hasConceptScore W582699268C43214815 @default.
- W582699268 hasConceptScore W582699268C529173508 @default.
- W582699268 hasConceptScore W582699268C62520636 @default.
- W582699268 hasConceptScore W582699268C75606506 @default.
- W582699268 hasLocation W5826992681 @default.
- W582699268 hasOpenAccess W582699268 @default.
- W582699268 hasPrimaryLocation W5826992681 @default.
- W582699268 isParatext "false" @default.
- W582699268 isRetracted "false" @default.
- W582699268 magId "582699268" @default.
- W582699268 workType "article" @default.