Matches in SemOpenAlex for { <https://semopenalex.org/work/W2090051150> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2090051150 endingPage "92" @default.
- W2090051150 startingPage "78" @default.
- W2090051150 abstract "The UML Profile for Modeling and Analysis of Real-Time and Embedded systems promises a general modeling framework to design and analyze systems. Lots of works have been published on the modeling capabilities offered by MARTE, much less on available verification techniques. The Clock Constraint Specification Language (CCSL), first introduced as a companion language for MARTE, was devised to offer a formal support to conduct causal and temporal analysis on MARTE models. This work relies on a state-based semantics for CCSL to establish correctness properties on MARTE/CCSL specifications. We propose and compare two different techniques to build the state-space of a specification. One is an extension of some previous work and is based on extended finite state machines. It relies on integer linear programming to solve the constraints and reduce the state-space. The other one is based on an intentional representation and uses pure Boolean abstractions but offers no guarantee to terminate when the specification is not safe. The approach is illustrated on one simple example where the architecture plays an important role. We describe a process where the logical description of the application is progressively refined to take into account the execution platform through allocation." @default.
- W2090051150 created "2016-06-24" @default.
- W2090051150 creator A5018665207 @default.
- W2090051150 creator A5088893880 @default.
- W2090051150 date "2015-08-01" @default.
- W2090051150 modified "2023-10-18" @default.
- W2090051150 title "Correctness issues on MARTE/CCSL constraints" @default.
- W2090051150 cites W1655053995 @default.
- W2090051150 cites W2007527439 @default.
- W2090051150 cites W2017315323 @default.
- W2090051150 cites W2055295051 @default.
- W2090051150 cites W2098346263 @default.
- W2090051150 cites W2115082275 @default.
- W2090051150 cites W2119355229 @default.
- W2090051150 cites W2127335869 @default.
- W2090051150 cites W3137220996 @default.
- W2090051150 doi "https://doi.org/10.1016/j.scico.2015.03.001" @default.
- W2090051150 hasPublicationYear "2015" @default.
- W2090051150 type Work @default.
- W2090051150 sameAs 2090051150 @default.
- W2090051150 citedByCount "37" @default.
- W2090051150 countsByYear W20900511502015 @default.
- W2090051150 countsByYear W20900511502016 @default.
- W2090051150 countsByYear W20900511502017 @default.
- W2090051150 countsByYear W20900511502018 @default.
- W2090051150 countsByYear W20900511502019 @default.
- W2090051150 countsByYear W20900511502020 @default.
- W2090051150 countsByYear W20900511502021 @default.
- W2090051150 countsByYear W20900511502023 @default.
- W2090051150 crossrefType "journal-article" @default.
- W2090051150 hasAuthorship W2090051150A5018665207 @default.
- W2090051150 hasAuthorship W2090051150A5088893880 @default.
- W2090051150 hasBestOaLocation W20900511501 @default.
- W2090051150 hasConcept C105795698 @default.
- W2090051150 hasConcept C145644426 @default.
- W2090051150 hasConcept C17744445 @default.
- W2090051150 hasConcept C184337299 @default.
- W2090051150 hasConcept C199360897 @default.
- W2090051150 hasConcept C199539241 @default.
- W2090051150 hasConcept C2776359362 @default.
- W2090051150 hasConcept C2777904410 @default.
- W2090051150 hasConcept C33923547 @default.
- W2090051150 hasConcept C41008148 @default.
- W2090051150 hasConcept C48103436 @default.
- W2090051150 hasConcept C55439883 @default.
- W2090051150 hasConcept C72434380 @default.
- W2090051150 hasConcept C80444323 @default.
- W2090051150 hasConcept C94625758 @default.
- W2090051150 hasConceptScore W2090051150C105795698 @default.
- W2090051150 hasConceptScore W2090051150C145644426 @default.
- W2090051150 hasConceptScore W2090051150C17744445 @default.
- W2090051150 hasConceptScore W2090051150C184337299 @default.
- W2090051150 hasConceptScore W2090051150C199360897 @default.
- W2090051150 hasConceptScore W2090051150C199539241 @default.
- W2090051150 hasConceptScore W2090051150C2776359362 @default.
- W2090051150 hasConceptScore W2090051150C2777904410 @default.
- W2090051150 hasConceptScore W2090051150C33923547 @default.
- W2090051150 hasConceptScore W2090051150C41008148 @default.
- W2090051150 hasConceptScore W2090051150C48103436 @default.
- W2090051150 hasConceptScore W2090051150C55439883 @default.
- W2090051150 hasConceptScore W2090051150C72434380 @default.
- W2090051150 hasConceptScore W2090051150C80444323 @default.
- W2090051150 hasConceptScore W2090051150C94625758 @default.
- W2090051150 hasLocation W20900511501 @default.
- W2090051150 hasLocation W20900511502 @default.
- W2090051150 hasLocation W20900511503 @default.
- W2090051150 hasLocation W20900511504 @default.
- W2090051150 hasOpenAccess W2090051150 @default.
- W2090051150 hasPrimaryLocation W20900511501 @default.
- W2090051150 hasRelatedWork W1492717267 @default.
- W2090051150 hasRelatedWork W1506466034 @default.
- W2090051150 hasRelatedWork W1513291134 @default.
- W2090051150 hasRelatedWork W1548537923 @default.
- W2090051150 hasRelatedWork W1587224678 @default.
- W2090051150 hasRelatedWork W1846093478 @default.
- W2090051150 hasRelatedWork W1881102326 @default.
- W2090051150 hasRelatedWork W1972694089 @default.
- W2090051150 hasRelatedWork W2052023694 @default.
- W2090051150 hasRelatedWork W2135747418 @default.
- W2090051150 hasVolume "106" @default.
- W2090051150 isParatext "false" @default.
- W2090051150 isRetracted "false" @default.
- W2090051150 magId "2090051150" @default.
- W2090051150 workType "article" @default.