FRINK Linked Data Fragments server

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

• W2148828251 abstract "Abstract : We study the simultaneous use of multiple modeling techniques in the design of embedded systems. We begin with a pre-existing Statecharts model of a simple case study, a traffic light for a pedestrian crossing. This model combines two distinct models of computation (MoCs), finite state machines (FSMs) and synchronous/reactive (SR). We add an additional MoC to the mix, a discrete-event (DE) model of the environment in which the traffic light operates, including a simple fault model. We construct a second model of a hardware deployment. This exercise reveals hidden assumptions in the original model about implementation that require refactoring to get a distributed deployment model. We show that the portions of the models defining the control logic of the lights can be shared between the functional and deployment models using actor-oriented classes. This eases maintenance of the models. Finally, we show that models used for verification are abstractions of the functional models that can be synthesized from the other models, suggesting practical design-for-verification techniques. The result is that this simple example uses three distinct models of the system (functional, deployment, verification), two of which hierarchically combine distinct modeling techniques (DE, SR, FSM)." @default.
• W2148828251 created "2016-06-24" @default.
• W2148828251 creator A5000590935 @default.
• W2148828251 creator A5009831760 @default.
• W2148828251 creator A5029982033 @default.
• W2148828251 creator A5066292729 @default.
• W2148828251 creator A5090224743 @default.
• W2148828251 date "2008-04-16" @default.
• W2148828251 modified "2023-09-29" @default.
• W2148828251 title "Model Engineering using Multimodeling" @default.
• W2148828251 cites W1480815751 @default.
• W2148828251 cites W1485614412 @default.
• W2148828251 cites W1489391022 @default.
• W2148828251 cites W1492631919 @default.
• W2148828251 cites W1496267491 @default.
• W2148828251 cites W150292037 @default.
• W2148828251 cites W1505618619 @default.
• W2148828251 cites W1586673500 @default.
• W2148828251 cites W1971855334 @default.
• W2148828251 cites W1978957024 @default.
• W2148828251 cites W2081938726 @default.
• W2148828251 cites W2090242529 @default.
• W2148828251 cites W2096659890 @default.
• W2148828251 cites W2097544069 @default.
• W2148828251 cites W2098914714 @default.
• W2148828251 cites W2099529102 @default.
• W2148828251 cites W2101508170 @default.
• W2148828251 cites W2107635778 @default.
• W2148828251 cites W2123080657 @default.
• W2148828251 cites W2125579889 @default.
• W2148828251 cites W2129717347 @default.
• W2148828251 cites W2156232552 @default.
• W2148828251 cites W2159542925 @default.
• W2148828251 cites W2163032382 @default.
• W2148828251 cites W2165550854 @default.
• W2148828251 cites W2168609733 @default.
• W2148828251 cites W2169180789 @default.
• W2148828251 cites W2340735175 @default.
• W2148828251 cites W2913459036 @default.
• W2148828251 cites W2081632470 @default.
• W2148828251 hasPublicationYear "2008" @default.
• W2148828251 type Work @default.
• W2148828251 sameAs 2148828251 @default.
• W2148828251 citedByCount "14" @default.
• W2148828251 countsByYear W21488282512012 @default.
• W2148828251 countsByYear W21488282512013 @default.
• W2148828251 countsByYear W21488282512014 @default.
• W2148828251 countsByYear W21488282512015 @default.
• W2148828251 countsByYear W21488282512018 @default.
• W2148828251 crossrefType "journal-article" @default.
• W2148828251 hasAuthorship W2148828251A5000590935 @default.
• W2148828251 hasAuthorship W2148828251A5009831760 @default.
• W2148828251 hasAuthorship W2148828251A5029982033 @default.
• W2148828251 hasAuthorship W2148828251A5066292729 @default.
• W2148828251 hasAuthorship W2148828251A5090224743 @default.
• W2148828251 hasConcept C105339364 @default.
• W2148828251 hasConcept C110251889 @default.
• W2148828251 hasConcept C111472728 @default.
• W2148828251 hasConcept C115903868 @default.
• W2148828251 hasConcept C120314980 @default.
• W2148828251 hasConcept C121332964 @default.
• W2148828251 hasConcept C138885662 @default.
• W2148828251 hasConcept C152752567 @default.
• W2148828251 hasConcept C167822520 @default.
• W2148828251 hasConcept C199360897 @default.
• W2148828251 hasConcept C2777904410 @default.
• W2148828251 hasConcept C2779662365 @default.
• W2148828251 hasConcept C2780586882 @default.
• W2148828251 hasConcept C2780801425 @default.
• W2148828251 hasConcept C41008148 @default.
• W2148828251 hasConcept C62520636 @default.
• W2148828251 hasConcept C80444323 @default.
• W2148828251 hasConceptScore W2148828251C105339364 @default.
• W2148828251 hasConceptScore W2148828251C110251889 @default.
• W2148828251 hasConceptScore W2148828251C111472728 @default.
• W2148828251 hasConceptScore W2148828251C115903868 @default.
• W2148828251 hasConceptScore W2148828251C120314980 @default.
• W2148828251 hasConceptScore W2148828251C121332964 @default.
• W2148828251 hasConceptScore W2148828251C138885662 @default.
• W2148828251 hasConceptScore W2148828251C152752567 @default.
• W2148828251 hasConceptScore W2148828251C167822520 @default.
• W2148828251 hasConceptScore W2148828251C199360897 @default.
• W2148828251 hasConceptScore W2148828251C2777904410 @default.
• W2148828251 hasConceptScore W2148828251C2779662365 @default.
• W2148828251 hasConceptScore W2148828251C2780586882 @default.
• W2148828251 hasConceptScore W2148828251C2780801425 @default.
• W2148828251 hasConceptScore W2148828251C41008148 @default.
• W2148828251 hasConceptScore W2148828251C62520636 @default.
• W2148828251 hasConceptScore W2148828251C80444323 @default.
• W2148828251 hasLocation W21488282511 @default.
• W2148828251 hasOpenAccess W2148828251 @default.
• W2148828251 hasPrimaryLocation W21488282511 @default.
• W2148828251 hasRelatedWork W1496267491 @default.
• W2148828251 hasRelatedWork W1535347731 @default.
• W2148828251 hasRelatedWork W1586673500 @default.
• W2148828251 hasRelatedWork W1959069981 @default.
• W2148828251 hasRelatedWork W1963975008 @default.
• W2148828251 hasRelatedWork W2028133921 @default.
• W2148828251 hasRelatedWork W2080101372 @default.
• W2148828251 hasRelatedWork W2090950090 @default.

• next