Matches in SemOpenAlex for { <https://semopenalex.org/work/W2785381505> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2785381505 endingPage "1386" @default.
- W2785381505 startingPage "1361" @default.
- W2785381505 abstract "Cyber-physical systems (CPSs) are pervasive in our daily life from mobile phones to auto-driving cars. CPSs are inherently complex due to their sophisticated behaviors and thus difficult to build. In this paper, we propose a framework to develop CPSs based on a model-driven approach with quality assurance throughout the development process. An agent-oriented approach is used to model individual physical and computation processes using high-level Petri nets, and an aspect-oriented approach is used to integrate individual models. The Petri net models are systematically mapped to classes and threads in Java, which are enhanced and extended with domain-specific functionalities. Complementary quality assurance techniques are applied throughout system development and deployment, including simulation and model checking of design models, model checking of Java code, and runtime verification of Java executable. We demonstrate our framework using a car parking system." @default.
- W2785381505 created "2018-02-23" @default.
- W2785381505 creator A5009723525 @default.
- W2785381505 creator A5047231419 @default.
- W2785381505 creator A5055246406 @default.
- W2785381505 creator A5073376805 @default.
- W2785381505 date "2017-11-01" @default.
- W2785381505 modified "2023-10-03" @default.
- W2785381505 title "A Framework for Developing Cyber-Physical Systems" @default.
- W2785381505 cites W1997422892 @default.
- W2785381505 cites W2004463571 @default.
- W2785381505 cites W2011942926 @default.
- W2785381505 cites W2077099824 @default.
- W2785381505 cites W2120601740 @default.
- W2785381505 cites W2123801420 @default.
- W2785381505 cites W2125174515 @default.
- W2785381505 cites W2129436915 @default.
- W2785381505 cites W2151320244 @default.
- W2785381505 cites W2406499533 @default.
- W2785381505 doi "https://doi.org/10.1142/s0218194017400010" @default.
- W2785381505 hasPublicationYear "2017" @default.
- W2785381505 type Work @default.
- W2785381505 sameAs 2785381505 @default.
- W2785381505 citedByCount "7" @default.
- W2785381505 countsByYear W27853815052018 @default.
- W2785381505 countsByYear W27853815052019 @default.
- W2785381505 countsByYear W27853815052020 @default.
- W2785381505 countsByYear W27853815052021 @default.
- W2785381505 countsByYear W27853815052022 @default.
- W2785381505 crossrefType "journal-article" @default.
- W2785381505 hasAuthorship W2785381505A5009723525 @default.
- W2785381505 hasAuthorship W2785381505A5047231419 @default.
- W2785381505 hasAuthorship W2785381505A5055246406 @default.
- W2785381505 hasAuthorship W2785381505A5073376805 @default.
- W2785381505 hasConcept C105339364 @default.
- W2785381505 hasConcept C110251889 @default.
- W2785381505 hasConcept C111919701 @default.
- W2785381505 hasConcept C115903868 @default.
- W2785381505 hasConcept C120314980 @default.
- W2785381505 hasConcept C134306372 @default.
- W2785381505 hasConcept C160145156 @default.
- W2785381505 hasConcept C179768478 @default.
- W2785381505 hasConcept C199360897 @default.
- W2785381505 hasConcept C33923547 @default.
- W2785381505 hasConcept C36503486 @default.
- W2785381505 hasConcept C38677869 @default.
- W2785381505 hasConcept C41008148 @default.
- W2785381505 hasConcept C548217200 @default.
- W2785381505 hasConcept C98045186 @default.
- W2785381505 hasConceptScore W2785381505C105339364 @default.
- W2785381505 hasConceptScore W2785381505C110251889 @default.
- W2785381505 hasConceptScore W2785381505C111919701 @default.
- W2785381505 hasConceptScore W2785381505C115903868 @default.
- W2785381505 hasConceptScore W2785381505C120314980 @default.
- W2785381505 hasConceptScore W2785381505C134306372 @default.
- W2785381505 hasConceptScore W2785381505C160145156 @default.
- W2785381505 hasConceptScore W2785381505C179768478 @default.
- W2785381505 hasConceptScore W2785381505C199360897 @default.
- W2785381505 hasConceptScore W2785381505C33923547 @default.
- W2785381505 hasConceptScore W2785381505C36503486 @default.
- W2785381505 hasConceptScore W2785381505C38677869 @default.
- W2785381505 hasConceptScore W2785381505C41008148 @default.
- W2785381505 hasConceptScore W2785381505C548217200 @default.
- W2785381505 hasConceptScore W2785381505C98045186 @default.
- W2785381505 hasIssue "09n10" @default.
- W2785381505 hasLocation W27853815051 @default.
- W2785381505 hasOpenAccess W2785381505 @default.
- W2785381505 hasPrimaryLocation W27853815051 @default.
- W2785381505 hasRelatedWork W1490787830 @default.
- W2785381505 hasRelatedWork W1493446239 @default.
- W2785381505 hasRelatedWork W1556422878 @default.
- W2785381505 hasRelatedWork W1731386390 @default.
- W2785381505 hasRelatedWork W1967499492 @default.
- W2785381505 hasRelatedWork W2138161962 @default.
- W2785381505 hasRelatedWork W2367240299 @default.
- W2785381505 hasRelatedWork W2748872428 @default.
- W2785381505 hasRelatedWork W3121650164 @default.
- W2785381505 hasRelatedWork W2528467228 @default.
- W2785381505 hasVolume "27" @default.
- W2785381505 isParatext "false" @default.
- W2785381505 isRetracted "false" @default.
- W2785381505 magId "2785381505" @default.
- W2785381505 workType "article" @default.