Matches in SemOpenAlex for { <https://semopenalex.org/work/W143085551> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W143085551 abstract "The realization of critical systems goes through multiple phases of specification, design, integration, validation, and testing. It starts from high-level sketches down to the final product. Model-Based Design has been acknowledged as a good conveyor to capture these steps. Yet, there is no universal solution to represent all activities. Two candidates are the OMG-based SysML to perform high-level modeling tasks, and the SAE AADL to perform lower-level ones, down to the implementation. The paper shares an experience on the seamless use of SysML and the AADL to model, validate/verify and implement a flight management system." @default.
- W143085551 created "2016-06-24" @default.
- W143085551 creator A5003255921 @default.
- W143085551 creator A5069344282 @default.
- W143085551 date "2012-02-01" @default.
- W143085551 modified "2023-10-10" @default.
- W143085551 title "Combining SysML and AADL for the Design, Validation and Implementation of Critical Systems" @default.
- W143085551 cites W1965685836 @default.
- W143085551 cites W1993309326 @default.
- W143085551 cites W2038943040 @default.
- W143085551 cites W2069200952 @default.
- W143085551 hasPublicationYear "2012" @default.
- W143085551 type Work @default.
- W143085551 sameAs 143085551 @default.
- W143085551 citedByCount "4" @default.
- W143085551 countsByYear W1430855512013 @default.
- W143085551 countsByYear W1430855512014 @default.
- W143085551 countsByYear W1430855512017 @default.
- W143085551 crossrefType "proceedings-article" @default.
- W143085551 hasAuthorship W143085551A5003255921 @default.
- W143085551 hasAuthorship W143085551A5069344282 @default.
- W143085551 hasBestOaLocation W1430855511 @default.
- W143085551 hasConcept C115903868 @default.
- W143085551 hasConcept C127413603 @default.
- W143085551 hasConcept C145644426 @default.
- W143085551 hasConcept C199360897 @default.
- W143085551 hasConcept C200601418 @default.
- W143085551 hasConcept C201995342 @default.
- W143085551 hasConcept C21285288 @default.
- W143085551 hasConcept C2777904410 @default.
- W143085551 hasConcept C41008148 @default.
- W143085551 hasConceptScore W143085551C115903868 @default.
- W143085551 hasConceptScore W143085551C127413603 @default.
- W143085551 hasConceptScore W143085551C145644426 @default.
- W143085551 hasConceptScore W143085551C199360897 @default.
- W143085551 hasConceptScore W143085551C200601418 @default.
- W143085551 hasConceptScore W143085551C201995342 @default.
- W143085551 hasConceptScore W143085551C21285288 @default.
- W143085551 hasConceptScore W143085551C2777904410 @default.
- W143085551 hasConceptScore W143085551C41008148 @default.
- W143085551 hasLocation W1430855511 @default.
- W143085551 hasLocation W1430855512 @default.
- W143085551 hasLocation W1430855513 @default.
- W143085551 hasOpenAccess W143085551 @default.
- W143085551 hasPrimaryLocation W1430855511 @default.
- W143085551 hasRelatedWork W1774161423 @default.
- W143085551 hasRelatedWork W1982132442 @default.
- W143085551 hasRelatedWork W1985098546 @default.
- W143085551 hasRelatedWork W2022276169 @default.
- W143085551 hasRelatedWork W2059667600 @default.
- W143085551 hasRelatedWork W2115766632 @default.
- W143085551 hasRelatedWork W2373053205 @default.
- W143085551 hasRelatedWork W2499577277 @default.
- W143085551 hasRelatedWork W2601917318 @default.
- W143085551 hasRelatedWork W74460055 @default.
- W143085551 isParatext "false" @default.
- W143085551 isRetracted "false" @default.
- W143085551 magId "143085551" @default.
- W143085551 workType "article" @default.