Matches in SemOpenAlex for { <https://semopenalex.org/work/W2788894624> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2788894624 abstract "In this thesis our overall aim is to provide a contract-based embedded system development process with an emphasis on specification and analysis. We specify components and layers via assume/guarantee contracts and use a contract algebra as the backbone to supply necessary operations to compose, refine and validate contracts. We employ various modelling formalisms, such as timed automata and hybrid automata to express contracts. The choice of the formalism is made according to the sort of behaviours of the component at hand. We employ appropriate model-based analysis methods, such as model checking and simulation, to support practical contract operations. Our first contribution is a contract-based specification architecture and the associated process. The specification architecture is mode based where a system is specified with a number of operational modes and a mode-switching logic. The concrete formalisms used are based on timed automata for switching logic and hybrid automata for specification of individual modes. Practical methods for composing and analysing hybrid automata-based contracts are defined over using hybrid observers which enable employing hybrid system simulation tools. To analyse timed automata-based contracts in isolation, model checking is employed. Specific validity criteria for mode and switching components are defined for each step of the specification process. Our second contribution is a method to use timed automata-based specifications as observers in a hybrid system simulation tool. We provide the associated implementation which employs Uppaal model-checking tool to execute such generic timed automata-based specifications alongside hybrid automata based-observer specifications. In the context of the described specification process, this enables validating contracts with assertions expressed in both timed and hybrid automata. Our third contribution is a generic schedulability framework using model checking on timed-CSP models. The framework enables analysing multiprocessor schedulability of CSP models with non-preemptive fixed-priority tasks with variable execution times. We present a schedulability analysis workflow that describes how to utilize the proposed framework in a generic CSP-based design process. We also describe how to integrate the schedulability framework to a contract-based design process." @default.
- W2788894624 created "2018-03-06" @default.
- W2788894624 creator A5045356035 @default.
- W2788894624 date "2020-07-07" @default.
- W2788894624 modified "2023-09-25" @default.
- W2788894624 title "Contract-based specification of embedded control systems" @default.
- W2788894624 doi "https://doi.org/10.3990/1.9789036544979" @default.
- W2788894624 hasPublicationYear "2020" @default.
- W2788894624 type Work @default.
- W2788894624 sameAs 2788894624 @default.
- W2788894624 citedByCount "0" @default.
- W2788894624 crossrefType "dissertation" @default.
- W2788894624 hasAuthorship W2788894624A5045356035 @default.
- W2788894624 hasBestOaLocation W27888946241 @default.
- W2788894624 hasConcept C110251889 @default.
- W2788894624 hasConcept C112505250 @default.
- W2788894624 hasConcept C115903868 @default.
- W2788894624 hasConcept C116253237 @default.
- W2788894624 hasConcept C119857082 @default.
- W2788894624 hasConcept C149091818 @default.
- W2788894624 hasConcept C171018156 @default.
- W2788894624 hasConcept C186846655 @default.
- W2788894624 hasConcept C199360897 @default.
- W2788894624 hasConcept C2524010 @default.
- W2788894624 hasConcept C2776028153 @default.
- W2788894624 hasConcept C2777904410 @default.
- W2788894624 hasConcept C33923547 @default.
- W2788894624 hasConcept C41008148 @default.
- W2788894624 hasConcept C50897621 @default.
- W2788894624 hasConcept C80291951 @default.
- W2788894624 hasConcept C80444323 @default.
- W2788894624 hasConcept C84651959 @default.
- W2788894624 hasConceptScore W2788894624C110251889 @default.
- W2788894624 hasConceptScore W2788894624C112505250 @default.
- W2788894624 hasConceptScore W2788894624C115903868 @default.
- W2788894624 hasConceptScore W2788894624C116253237 @default.
- W2788894624 hasConceptScore W2788894624C119857082 @default.
- W2788894624 hasConceptScore W2788894624C149091818 @default.
- W2788894624 hasConceptScore W2788894624C171018156 @default.
- W2788894624 hasConceptScore W2788894624C186846655 @default.
- W2788894624 hasConceptScore W2788894624C199360897 @default.
- W2788894624 hasConceptScore W2788894624C2524010 @default.
- W2788894624 hasConceptScore W2788894624C2776028153 @default.
- W2788894624 hasConceptScore W2788894624C2777904410 @default.
- W2788894624 hasConceptScore W2788894624C33923547 @default.
- W2788894624 hasConceptScore W2788894624C41008148 @default.
- W2788894624 hasConceptScore W2788894624C50897621 @default.
- W2788894624 hasConceptScore W2788894624C80291951 @default.
- W2788894624 hasConceptScore W2788894624C80444323 @default.
- W2788894624 hasConceptScore W2788894624C84651959 @default.
- W2788894624 hasLocation W27888946241 @default.
- W2788894624 hasOpenAccess W2788894624 @default.
- W2788894624 hasPrimaryLocation W27888946241 @default.
- W2788894624 hasRelatedWork W1518926628 @default.
- W2788894624 hasRelatedWork W1851008664 @default.
- W2788894624 hasRelatedWork W194720932 @default.
- W2788894624 hasRelatedWork W1980298079 @default.
- W2788894624 hasRelatedWork W1980793652 @default.
- W2788894624 hasRelatedWork W2001574015 @default.
- W2788894624 hasRelatedWork W2012582094 @default.
- W2788894624 hasRelatedWork W2018642465 @default.
- W2788894624 hasRelatedWork W2065340948 @default.
- W2788894624 hasRelatedWork W2118180631 @default.
- W2788894624 hasRelatedWork W2125103840 @default.
- W2788894624 hasRelatedWork W2134084873 @default.
- W2788894624 hasRelatedWork W2135521520 @default.
- W2788894624 hasRelatedWork W2143958438 @default.
- W2788894624 hasRelatedWork W2189516265 @default.
- W2788894624 hasRelatedWork W2614085781 @default.
- W2788894624 hasRelatedWork W275041221 @default.
- W2788894624 hasRelatedWork W2769257089 @default.
- W2788894624 hasRelatedWork W2996770247 @default.
- W2788894624 hasRelatedWork W3138218742 @default.
- W2788894624 isParatext "false" @default.
- W2788894624 isRetracted "false" @default.
- W2788894624 magId "2788894624" @default.
- W2788894624 workType "dissertation" @default.