FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2090669830> ?p ?o ?g. }

• W2090669830 endingPage "34" @default.
• W2090669830 startingPage "1" @default.
• W2090669830 abstract "Flaws in requirements may have unacceptable consequences in the development of safety-critical applications. Formal approaches may help with a deep analysis that takes care of the precise semantics of the requirements. However, the proposed solutions often disregard the problem of integrating the formalization with the analysis, and the underlying logical framework lacks either expressive power, or automation. We propose a new, comprehensive approach for the validation of functional requirements of hybrid systems, where discrete components and continuous components are tightly intertwined. The proposed solution allows to tackle problems of conversion from informal to formal, traceability, automation, user acceptance, and scalability. We build on a new language, othello which is expressive enough to represent various domains of interest, yet allowing efficient procedures for checking the satisfiability. Around this, we propose a structured methodology where: informal requirements are fragmented and categorized according to their role; each fragment is formalized based on its category; specialized formal analysis techniques, optimized for requirements analysis, are finally applied. The approach was the basis of an industrial project aiming at the validation of the European Train Control System (ETCS) requirements specification. During the project a realistic subset of the ETCS specification was formalized and analyzed. The approach was positively assessed by domain experts." @default.
• W2090669830 created "2016-06-24" @default.
• W2090669830 creator A5017426974 @default.
• W2090669830 creator A5018618502 @default.
• W2090669830 creator A5021820623 @default.
• W2090669830 creator A5055975794 @default.
• W2090669830 date "2012-11-01" @default.
• W2090669830 modified "2023-10-14" @default.
• W2090669830 title "Validation of requirements for hybrid systems" @default.
• W2090669830 cites W1490626979 @default.
• W2090669830 cites W1494737186 @default.
• W2090669830 cites W1506588809 @default.
• W2090669830 cites W1512712729 @default.
• W2090669830 cites W1528089001 @default.
• W2090669830 cites W1531873250 @default.
• W2090669830 cites W1537589219 @default.
• W2090669830 cites W1538739512 @default.
• W2090669830 cites W1544022704 @default.
• W2090669830 cites W1574891383 @default.
• W2090669830 cites W1594976552 @default.
• W2090669830 cites W1787074469 @default.
• W2090669830 cites W1801453676 @default.
• W2090669830 cites W1885037678 @default.
• W2090669830 cites W1930225646 @default.
• W2090669830 cites W1985665832 @default.
• W2090669830 cites W1986186023 @default.
• W2090669830 cites W1993855479 @default.
• W2090669830 cites W2022890244 @default.
• W2090669830 cites W2023808162 @default.
• W2090669830 cites W2048074122 @default.
• W2090669830 cites W2058954073 @default.
• W2090669830 cites W2060440626 @default.
• W2090669830 cites W2066381570 @default.
• W2090669830 cites W2072082216 @default.
• W2090669830 cites W2091968063 @default.
• W2090669830 cites W2096803479 @default.
• W2090669830 cites W2106419991 @default.
• W2090669830 cites W2118913513 @default.
• W2090669830 cites W2119828354 @default.
• W2090669830 cites W2130891285 @default.
• W2090669830 cites W2134180922 @default.
• W2090669830 cites W2138362538 @default.
• W2090669830 cites W2139891885 @default.
• W2090669830 cites W2142065829 @default.
• W2090669830 cites W2153173530 @default.
• W2090669830 cites W2158395308 @default.
• W2090669830 cites W2165601498 @default.
• W2090669830 cites W2167467151 @default.
• W2090669830 cites W217510991 @default.
• W2090669830 cites W2407969463 @default.
• W2090669830 cites W3121954822 @default.
• W2090669830 doi "https://doi.org/10.1145/2377656.2377659" @default.
• W2090669830 hasPublicationYear "2012" @default.
• W2090669830 type Work @default.
• W2090669830 sameAs 2090669830 @default.
• W2090669830 citedByCount "38" @default.
• W2090669830 countsByYear W20906698302012 @default.
• W2090669830 countsByYear W20906698302013 @default.
• W2090669830 countsByYear W20906698302014 @default.
• W2090669830 countsByYear W20906698302015 @default.
• W2090669830 countsByYear W20906698302016 @default.
• W2090669830 countsByYear W20906698302017 @default.
• W2090669830 countsByYear W20906698302019 @default.
• W2090669830 countsByYear W20906698302020 @default.
• W2090669830 countsByYear W20906698302021 @default.
• W2090669830 countsByYear W20906698302022 @default.
• W2090669830 crossrefType "journal-article" @default.
• W2090669830 hasAuthorship W2090669830A5017426974 @default.
• W2090669830 hasAuthorship W2090669830A5018618502 @default.
• W2090669830 hasAuthorship W2090669830A5021820623 @default.
• W2090669830 hasAuthorship W2090669830A5055975794 @default.
• W2090669830 hasConcept C110251889 @default.
• W2090669830 hasConcept C111498074 @default.
• W2090669830 hasConcept C115901376 @default.
• W2090669830 hasConcept C115903868 @default.
• W2090669830 hasConcept C116253237 @default.
• W2090669830 hasConcept C127413603 @default.
• W2090669830 hasConcept C134306372 @default.
• W2090669830 hasConcept C153876917 @default.
• W2090669830 hasConcept C199360897 @default.
• W2090669830 hasConcept C2777904410 @default.
• W2090669830 hasConcept C33923547 @default.
• W2090669830 hasConcept C36503486 @default.
• W2090669830 hasConcept C41008148 @default.
• W2090669830 hasConcept C48044578 @default.
• W2090669830 hasConcept C59488412 @default.
• W2090669830 hasConcept C75606506 @default.
• W2090669830 hasConcept C77088390 @default.
• W2090669830 hasConcept C78519656 @default.
• W2090669830 hasConceptScore W2090669830C110251889 @default.
• W2090669830 hasConceptScore W2090669830C111498074 @default.
• W2090669830 hasConceptScore W2090669830C115901376 @default.
• W2090669830 hasConceptScore W2090669830C115903868 @default.
• W2090669830 hasConceptScore W2090669830C116253237 @default.
• W2090669830 hasConceptScore W2090669830C127413603 @default.
• W2090669830 hasConceptScore W2090669830C134306372 @default.
• W2090669830 hasConceptScore W2090669830C153876917 @default.
• W2090669830 hasConceptScore W2090669830C199360897 @default.

• next