Matches in SemOpenAlex for { <https://semopenalex.org/work/W2327748237> ?p ?o ?g. }
Showing items 1 to 37 of
37
with 100 items per page.
- W2327748237 abstract "*† Critical aircraft systems are becoming more dependent on software. This brings with it the need to establish that the software will perform safely and reliably through all flight regimes, including emergencies. Verification and validation (V&V) is a key process for meeting that need for both military and civil procurements. For software developed with the UML (Unified Modeling Language), we are describing MOVAT, a computer-aided approach that is much more disciplined and repeatable than current practice and at the same time offers a considerable reduction in labor and schedule. MOVAT generates a Failure Modes and Effects Analysis (FMEA) directly from UML artifacts (use case diagrams during the requirements phase and class diagrams later on), and a Timed Petri Net (TPN) analysis of timing related problems from collaboration diagrams. These identify areas of greatest failure potential (expressed in severity categories) as well as associated detection capabilities and compensation (recovery) mechanisms. While software FMEA has been described and used previously it has generally been based on “functions”, a subjective concept. MOVAT uses operations of classes, clearly documented software constructs. When all operations in a class have been analyzed we can claim that the class has been completely evaluated, equivalent to using a parts list to establish that a hardware FMEA is complete. The FMEA and TPN permit V&V to concentrate on the software constructs most critical to safety of flight and to evaluate coverage of detection and recovery mechanisms. The emphasis is in most cases shifted from assessment of the functional software to assessment of the detection and recovery segments. These are usually much simpler and more standardized that the software elements that they protect and therefore the cost of V&V will be reduced. The procedure will be demonstrated on an autonomous active/standby redundancy management system, a design element encountered in fuel management, pressurization, and communication systems but also applicable on a grander scale to the leader/follower role assignment of a swarm of UAVs. The examples will describe applications during the requirements and coding phases. The research reported on here has been sponsored by the DARPA MoBIES project and AFRL." @default.
- W2327748237 created "2016-06-24" @default.
- W2327748237 creator A5002725176 @default.
- W2327748237 creator A5085931993 @default.
- W2327748237 date "2004-06-19" @default.
- W2327748237 modified "2023-10-05" @default.
- W2327748237 title "Better V&V for Critical Flight Systems" @default.
- W2327748237 cites W1881909614 @default.
- W2327748237 cites W1943799234 @default.
- W2327748237 doi "https://doi.org/10.2514/6.2004-6553" @default.
- W2327748237 hasPublicationYear "2004" @default.
- W2327748237 type Work @default.
- W2327748237 sameAs 2327748237 @default.
- W2327748237 citedByCount "1" @default.
- W2327748237 countsByYear W23277482372012 @default.
- W2327748237 crossrefType "proceedings-article" @default.
- W2327748237 hasAuthorship W2327748237A5002725176 @default.
- W2327748237 hasAuthorship W2327748237A5085931993 @default.
- W2327748237 hasConcept C41008148 @default.
- W2327748237 hasConceptScore W2327748237C41008148 @default.
- W2327748237 hasLocation W23277482371 @default.
- W2327748237 hasOpenAccess W2327748237 @default.
- W2327748237 hasPrimaryLocation W23277482371 @default.
- W2327748237 hasRelatedWork W1596801655 @default.
- W2327748237 hasRelatedWork W2130043461 @default.
- W2327748237 hasRelatedWork W2350741829 @default.
- W2327748237 hasRelatedWork W2358668433 @default.
- W2327748237 hasRelatedWork W2376932109 @default.
- W2327748237 hasRelatedWork W2382290278 @default.
- W2327748237 hasRelatedWork W2390279801 @default.
- W2327748237 hasRelatedWork W2748952813 @default.
- W2327748237 hasRelatedWork W2899084033 @default.
- W2327748237 hasRelatedWork W2530322880 @default.
- W2327748237 isParatext "false" @default.
- W2327748237 isRetracted "false" @default.
- W2327748237 magId "2327748237" @default.
- W2327748237 workType "article" @default.