Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783139992> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2783139992 abstract "Cyber-physical systems, such as automation and automotive systems, are highly complex systems that are frequently also safety-critical. Thus, it is important that these systems behave as intended, as incorrectness can have serious consequences. Due to continuous dynamics that yield infinite state spaces, the systems cannot be exhaustively tested to guarantee correct behavior, but systematic testing can be used to systematically search for behavior that is inconsistent with the requirements. However, manual testing is a tedious and error-prone task, and thus it is desirable to automate as much of the testing process as possible to increase efficiency and eliminate manual errors. This paper considers falsification of requirements expressed as temporal logic formulae to find errors in the Model-in-the-Loop stage of model-based development. The falsification is an optimization procedure where the objective function is determined by the definition of a quantitative semantics for the temporal logic formalism, and the optimization is performed over an input parametrization. It is shown that in certain cases where the discreteness of the system under test manifests itself in the objective function, the robustness values for the temporal logic specifications need to be modified. This paper presents two alternative objective functions suitable for these cases, and illustrates their use with both a small example and a use case from Volvo Car Corporation." @default.
- W2783139992 created "2018-01-26" @default.
- W2783139992 creator A5017972835 @default.
- W2783139992 creator A5030055973 @default.
- W2783139992 creator A5030455287 @default.
- W2783139992 creator A5065918596 @default.
- W2783139992 date "2017-08-01" @default.
- W2783139992 modified "2023-10-16" @default.
- W2783139992 title "Objective functions for falsification of signal temporal logic properties in cyber-physical systems" @default.
- W2783139992 cites W1544649343 @default.
- W2783139992 cites W1547304883 @default.
- W2783139992 cites W2023808162 @default.
- W2783139992 cites W2049399166 @default.
- W2783139992 cites W2049696538 @default.
- W2783139992 cites W2080932760 @default.
- W2783139992 cites W2092884371 @default.
- W2783139992 cites W2153803621 @default.
- W2783139992 cites W2163590987 @default.
- W2783139992 cites W2167799541 @default.
- W2783139992 cites W2171074980 @default.
- W2783139992 cites W2256658272 @default.
- W2783139992 cites W2956034981 @default.
- W2783139992 doi "https://doi.org/10.1109/coase.2017.8256285" @default.
- W2783139992 hasPublicationYear "2017" @default.
- W2783139992 type Work @default.
- W2783139992 sameAs 2783139992 @default.
- W2783139992 citedByCount "6" @default.
- W2783139992 countsByYear W27831399922018 @default.
- W2783139992 countsByYear W27831399922019 @default.
- W2783139992 countsByYear W27831399922020 @default.
- W2783139992 countsByYear W27831399922021 @default.
- W2783139992 crossrefType "proceedings-article" @default.
- W2783139992 hasAuthorship W2783139992A5017972835 @default.
- W2783139992 hasAuthorship W2783139992A5030055973 @default.
- W2783139992 hasAuthorship W2783139992A5030455287 @default.
- W2783139992 hasAuthorship W2783139992A5065918596 @default.
- W2783139992 hasConcept C111919701 @default.
- W2783139992 hasConcept C179768478 @default.
- W2783139992 hasConcept C199360897 @default.
- W2783139992 hasConcept C25016198 @default.
- W2783139992 hasConcept C2779843651 @default.
- W2783139992 hasConcept C41008148 @default.
- W2783139992 hasConcept C80444323 @default.
- W2783139992 hasConceptScore W2783139992C111919701 @default.
- W2783139992 hasConceptScore W2783139992C179768478 @default.
- W2783139992 hasConceptScore W2783139992C199360897 @default.
- W2783139992 hasConceptScore W2783139992C25016198 @default.
- W2783139992 hasConceptScore W2783139992C2779843651 @default.
- W2783139992 hasConceptScore W2783139992C41008148 @default.
- W2783139992 hasConceptScore W2783139992C80444323 @default.
- W2783139992 hasLocation W27831399921 @default.
- W2783139992 hasOpenAccess W2783139992 @default.
- W2783139992 hasPrimaryLocation W27831399921 @default.
- W2783139992 hasRelatedWork W2097603593 @default.
- W2783139992 hasRelatedWork W2172286397 @default.
- W2783139992 hasRelatedWork W2173007823 @default.
- W2783139992 hasRelatedWork W2908278544 @default.
- W2783139992 hasRelatedWork W2914617178 @default.
- W2783139992 hasRelatedWork W2952106496 @default.
- W2783139992 hasRelatedWork W3025006986 @default.
- W2783139992 hasRelatedWork W3165590793 @default.
- W2783139992 hasRelatedWork W4253619374 @default.
- W2783139992 hasRelatedWork W9733037 @default.
- W2783139992 isParatext "false" @default.
- W2783139992 isRetracted "false" @default.
- W2783139992 magId "2783139992" @default.
- W2783139992 workType "article" @default.