Matches in SemOpenAlex for { <https://semopenalex.org/work/W1907841202> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1907841202 abstract "A recent trend in software engineering is to support the development process by providing flexible tool chains allowing for effective Model-Driven approaches. These solutions are very appealing in industrial settings since they enable the creation of development and verification processes, enhancing abstraction and reuse, and hence improving productivity. This paper addresses advantages and challenges in extending Model-Driven approaches to system engineering and specifically to verification and validation (V&V) of critical computer-based systems. Specifically, the paper highlights the needs for real-world industrial contexts and proposes the definition of a unifying Model-Driven process for V&V of functional and non-functional system properties. Some enabling techniques which aim at improving the reuse of Model-Driven artifacts are addressed to deal with process scalability and effectiveness. Two sample applications are described for ERTMS/ETCS signalling system in order to show the advantages of the approach: formal modeling for performance evaluation of message delivery between train and track controllers and test case generation for the verification of functional requirements of trains outdistancing." @default.
- W1907841202 created "2016-06-24" @default.
- W1907841202 creator A5010808381 @default.
- W1907841202 creator A5037708866 @default.
- W1907841202 creator A5045567395 @default.
- W1907841202 creator A5056137267 @default.
- W1907841202 creator A5071110142 @default.
- W1907841202 date "2012-01-01" @default.
- W1907841202 modified "2023-10-05" @default.
- W1907841202 title "Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective" @default.
- W1907841202 cites W1480718997 @default.
- W1907841202 cites W1557406404 @default.
- W1907841202 cites W1576832956 @default.
- W1907841202 cites W1733574092 @default.
- W1907841202 cites W1973322846 @default.
- W1907841202 cites W1980475053 @default.
- W1907841202 cites W2016492784 @default.
- W1907841202 cites W2116565619 @default.
- W1907841202 cites W2148602057 @default.
- W1907841202 cites W2159839830 @default.
- W1907841202 cites W2162768729 @default.
- W1907841202 cites W4250571661 @default.
- W1907841202 cites W4296471858 @default.
- W1907841202 cites W1805232850 @default.
- W1907841202 doi "https://doi.org/10.1007/978-3-642-34032-1_20" @default.
- W1907841202 hasPublicationYear "2012" @default.
- W1907841202 type Work @default.
- W1907841202 sameAs 1907841202 @default.
- W1907841202 citedByCount "11" @default.
- W1907841202 countsByYear W19078412022012 @default.
- W1907841202 countsByYear W19078412022013 @default.
- W1907841202 countsByYear W19078412022014 @default.
- W1907841202 countsByYear W19078412022015 @default.
- W1907841202 countsByYear W19078412022018 @default.
- W1907841202 countsByYear W19078412022021 @default.
- W1907841202 crossrefType "book-chapter" @default.
- W1907841202 hasAuthorship W1907841202A5010808381 @default.
- W1907841202 hasAuthorship W1907841202A5037708866 @default.
- W1907841202 hasAuthorship W1907841202A5045567395 @default.
- W1907841202 hasAuthorship W1907841202A5056137267 @default.
- W1907841202 hasAuthorship W1907841202A5071110142 @default.
- W1907841202 hasConcept C12713177 @default.
- W1907841202 hasConcept C154945302 @default.
- W1907841202 hasConcept C41008148 @default.
- W1907841202 hasConcept C80444323 @default.
- W1907841202 hasConceptScore W1907841202C12713177 @default.
- W1907841202 hasConceptScore W1907841202C154945302 @default.
- W1907841202 hasConceptScore W1907841202C41008148 @default.
- W1907841202 hasConceptScore W1907841202C80444323 @default.
- W1907841202 hasLocation W19078412021 @default.
- W1907841202 hasOpenAccess W1907841202 @default.
- W1907841202 hasPrimaryLocation W19078412021 @default.
- W1907841202 hasRelatedWork W1670566515 @default.
- W1907841202 hasRelatedWork W1975467175 @default.
- W1907841202 hasRelatedWork W2149537132 @default.
- W1907841202 hasRelatedWork W2358668433 @default.
- W1907841202 hasRelatedWork W2376932109 @default.
- W1907841202 hasRelatedWork W2390279801 @default.
- W1907841202 hasRelatedWork W2748952813 @default.
- W1907841202 hasRelatedWork W2899084033 @default.
- W1907841202 hasRelatedWork W370975646 @default.
- W1907841202 hasRelatedWork W641279757 @default.
- W1907841202 isParatext "false" @default.
- W1907841202 isRetracted "false" @default.
- W1907841202 magId "1907841202" @default.
- W1907841202 workType "book-chapter" @default.