Show simple item record

Modelem řízený vývoj softwarových cyber-physical systémů
dc.contributor.advisorHnětynka, Petr
dc.creatorGerostathopoulos, Ilias
dc.date.accessioned2018-11-30T13:38:04Z
dc.date.available2018-11-30T13:38:04Z
dc.date.issued2015
dc.identifier.urihttp://hdl.handle.net/20.500.11956/81977
dc.description.abstractSoftware-Intensive Cyber-Physical Systems (siCPS) are modular, open-ended, networked, large-scale embedded Information and Communication Technology (ICT) systems that are increasingly depending on software. They need to be both dependable and flexible to adapt to changes in their dynamic environments. This combination poses challenges in their design and development, as traditional model-driven design and development techniques cannot account for both dependability and self-adaptivity. The thesis proposes (1) a new, model-based design process for siCPS, which comprises both appropriate methods and models and deals with dependability and self-adaptivity, and (2) a mapping of the design models to implementation-level abstractions, which allows for model-driven development and early experimentations in siCPS. Specifically, the thesis delivers (1) by introducing and elaborating on the Invariant Refinement Method (IRM), and its extension for self-adaptivity, for the design of siCPS based on the ensemble paradigm. IRM was integrated into the ensemble development life cycle, a methodology for the development of autonomic ensemble-based systems. Contributing to (2), the thesis provides a mapping of the IRM concepts to the concepts of the DEECo components model. The mapping is supported by prototype...en_US
dc.description.abstractSoftwarové cyber-physical systémy (siCPS) jsou modulární, otevřené, propojené a rozsáhlé ICT systémy, které stále více závisejí na softwaru. Tyto systémy musejí být spolehlivý a zároveň schopné se adaptovat na změny v proměnlivém prostředí, ve kterém jsou provozovány. Tato kombinace činí jejich návrh a realizaci obtížnými, neboť tradiční modelem řízené techniky pro návrh a vývoj nejsou schopny brát v potaz zároveň spolehlivost a autoadaptivitu. Tato práce navrhuje: (1) nový, modelem řízený proces návrhu siCPS systémů, který obsahuje vhodné metodiky a modely a zároveň podporuje spolehlivost i autoadaptivitu; a (2) mapování vzniklých návrhových modelů do abstrakcí na úrovni implementace, což umožňuje modelem řízený vývoj a rychlé experimentování v kontextu siCPS. Konkrétní realizaci bodu (1) představuje zavedení a rozpracování metody Invariant Refinement Method (IRM) - a jejího rozšíření pro podporu adaptivity - určené pro návrh siCPS založených na konceptu tzv. ansámblů. IRM je integrováno do metodiky vytvořené pro vývoj autonomních systémů založených na ansámblech. Z hlediska realizace bodu (2) práce navrhuje mapování z IRM konceptů do konceptů komponentového modelu DEECo. Mapování je podloženo implementačními prototypy nástrojů pro manipulace s modelem. Důležitou součástí práce je rovněž...cs_CZ
dc.languageEnglishcs_CZ
dc.language.isoen_US
dc.publisherUniverzita Karlova, Matematicko-fyzikální fakultacs_CZ
dc.subjectDesign processen_US
dc.subjectSoftware architectureen_US
dc.subjectSelf-adaptationen_US
dc.subjectDesign processcs_CZ
dc.subjectSoftware architecturecs_CZ
dc.subjectSelf-adaptationcs_CZ
dc.titleModel-Driven Development of Software-Intensive Cyber-Physical Systemsen_US
dc.typedizertační prácecs_CZ
dcterms.created2015
dcterms.dateAccepted2015-09-22
dc.description.departmentKatedra distribuovaných a spolehlivých systémůcs_CZ
dc.description.departmentDepartment of Distributed and Dependable Systemsen_US
dc.description.facultyFaculty of Mathematics and Physicsen_US
dc.description.facultyMatematicko-fyzikální fakultacs_CZ
dc.identifier.repId123184
dc.title.translatedModelem řízený vývoj softwarových cyber-physical systémůcs_CZ
dc.contributor.refereeSeinturier, Lionel
dc.contributor.refereeCrnkovic, Ivica
dc.identifier.aleph002029623
thesis.degree.namePh.D.
thesis.degree.leveldoktorskécs_CZ
thesis.degree.disciplineSoftwarové systémycs_CZ
thesis.degree.disciplineSoftware Systemsen_US
thesis.degree.programInformaticsen_US
thesis.degree.programInformatikacs_CZ
uk.faculty-name.csMatematicko-fyzikální fakultacs_CZ
uk.faculty-name.enFaculty of Mathematics and Physicsen_US
uk.faculty-abbr.csMFFcs_CZ
uk.degree-discipline.csSoftwarové systémycs_CZ
uk.degree-discipline.enSoftware Systemsen_US
uk.degree-program.csInformatikacs_CZ
uk.degree-program.enInformaticsen_US
thesis.grade.csProspěl/acs_CZ
thesis.grade.enPassen_US
uk.abstract.csSoftwarové cyber-physical systémy (siCPS) jsou modulární, otevřené, propojené a rozsáhlé ICT systémy, které stále více závisejí na softwaru. Tyto systémy musejí být spolehlivý a zároveň schopné se adaptovat na změny v proměnlivém prostředí, ve kterém jsou provozovány. Tato kombinace činí jejich návrh a realizaci obtížnými, neboť tradiční modelem řízené techniky pro návrh a vývoj nejsou schopny brát v potaz zároveň spolehlivost a autoadaptivitu. Tato práce navrhuje: (1) nový, modelem řízený proces návrhu siCPS systémů, který obsahuje vhodné metodiky a modely a zároveň podporuje spolehlivost i autoadaptivitu; a (2) mapování vzniklých návrhových modelů do abstrakcí na úrovni implementace, což umožňuje modelem řízený vývoj a rychlé experimentování v kontextu siCPS. Konkrétní realizaci bodu (1) představuje zavedení a rozpracování metody Invariant Refinement Method (IRM) - a jejího rozšíření pro podporu adaptivity - určené pro návrh siCPS založených na konceptu tzv. ansámblů. IRM je integrováno do metodiky vytvořené pro vývoj autonomních systémů založených na ansámblech. Z hlediska realizace bodu (2) práce navrhuje mapování z IRM konceptů do konceptů komponentového modelu DEECo. Mapování je podloženo implementačními prototypy nástrojů pro manipulace s modelem. Důležitou součástí práce je rovněž...cs_CZ
uk.abstract.enSoftware-Intensive Cyber-Physical Systems (siCPS) are modular, open-ended, networked, large-scale embedded Information and Communication Technology (ICT) systems that are increasingly depending on software. They need to be both dependable and flexible to adapt to changes in their dynamic environments. This combination poses challenges in their design and development, as traditional model-driven design and development techniques cannot account for both dependability and self-adaptivity. The thesis proposes (1) a new, model-based design process for siCPS, which comprises both appropriate methods and models and deals with dependability and self-adaptivity, and (2) a mapping of the design models to implementation-level abstractions, which allows for model-driven development and early experimentations in siCPS. Specifically, the thesis delivers (1) by introducing and elaborating on the Invariant Refinement Method (IRM), and its extension for self-adaptivity, for the design of siCPS based on the ensemble paradigm. IRM was integrated into the ensemble development life cycle, a methodology for the development of autonomic ensemble-based systems. Contributing to (2), the thesis provides a mapping of the IRM concepts to the concepts of the DEECo components model. The mapping is supported by prototype...en_US
uk.file-availabilityV
uk.publication.placePrahacs_CZ
uk.grantorUniverzita Karlova, Matematicko-fyzikální fakulta, Katedra distribuovaných a spolehlivých systémůcs_CZ
thesis.grade.codeP


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record


© 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: admin-repozitar [at] cuni.cz

Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV