4,515 Hits in 6.6 sec

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner
2016 Electronic Proceedings in Theoretical Computer Science  
The use of contracts allows us to cleanly split the verification effort between the lab and the field. In addition, we show how to rely on existing viewpoint-specific methods for update negotiation.  ...  In this paper we address the issue of change after deployment in safety-critical embedded system applications.  ...  Figure 2 : 2 With the contracts from the software model and the available hardware resources from the platform model, the contract negotiation takes place in field. 3.A task τ can only be mapped onto  ... 
doi:10.4204/eptcs.208.3 fatcat:6wxwob2h7raujd474boxzvpfva

Openlaws.Eu: Initial Architecture And Data Model Specification

Thomas Lampoltshammer, Christian Sageder, Thomas Heistracher, Clemens Wass, Matteo Zanioli, Radboud Winkels
2016 Zenodo  
This document comprises all necessary information concerning the architecture of the platform, the associated data model and mapping as well as information regarding deployment and infrastructure  ...  Out of the range of viewpoints, we opted for i) the functional view, ii) the information view, iii) the development view, and iv) the deployment view to properly describe the architecture of the platform  ...  Figure 12 -Schematics of continuous integration/delivery/deployment Deployment view This view upon the architecture defines the environment the openlaws platform will be embedded in.  ... 
doi:10.5281/zenodo.158992 fatcat:ohdp57dwcrcgrejkqarr3bubxq

Component-based modeling and integration of automotive application architectures

Konstantin Schorp, Stephan Sommer
2014 2014 IEEE International Electric Vehicle Conference (IEVC)  
In this paper, we present a domain-specific component model to describe functional interdependencies as well as non-functional requirements needed to enable safe integration of software components in a  ...  Component oriented, model based approaches with multiple viewpoints have already proven being suitable in other domains to manage the dependencies between functionality by decomposing a system into a network  ...  ACKNOWLEDGMENTS This work is partially funded by the German Federal Ministry of Economics and Technology under grant no. 01ME12009 through the project RACE (  ... 
doi:10.1109/ievc.2014.7056210 fatcat:ck5vmf265jdapaa5gy4ixbfraa

Architecture framework of IoT-based food and farm systems: A multiple case study

Cor Verdouw, Harald Sundmaeker, Bedir Tekinerdogan, Davide Conzon, Teodoro Montanaro
2019 Computers and Electronics in Agriculture  
This paper develops and applies an architecture framework for modelling IoT-based systems in the agriculture and food domain.  ...  The framework comprises a coherent set of architectural viewpoints and a guideline to use these viewpoints to model architectures of individual IoT-based systems.  ...  Acknowledgements This work was supported by the European Union's Horizon 2020 research and innovation programme under grant agreement no. 731884.  ... 
doi:10.1016/j.compag.2019.104939 fatcat:dvt74p43dzbgla3x3th6ebalwe

Cloud Computing: A review of the Concepts and Deployment Models

Tinankoria Diaby, Babak Bashari Rad
2017 International Journal of Information Technology and Computer Science  
This paper does not only contain the evolution, history, and definition of cloud computing, but it also presents the characteristics, the service models, deployment models and roots of the cloud.  ...  Cloud computing is not a brand-new technology, but today it is one of the most emerging technology due to its powerful and important force of change the manner data and services are managed.  ...  This model provides platform as computer environment or infrastructure (both hardware and software) for the users. Fig. 3 depicts the hierarchical view of cloud computing service models.  ... 
doi:10.5815/ijitcs.2017.06.07 fatcat:zbsetw4o35hgvdmf3o5hbca47u

Controlling Concurrent Change - A Multiview Approach Toward Updatable Vehicle Automation Systems

Mischa Möstl, Marcus Nolte, Johannes Schlatow, Rolf Ernst, Michael Wagner
2019 Design, Automation, and Test in Europe  
Formal models can in turn assist in keeping track of how the different viewpoints relate to each other and how the interplay of components affects the overall system behavior.  ...  It reasons on a cross-layer model of the resulting system, which covers necessary aspects of a design in individual architectural views, e.g. safety and timing.  ...  Acknowledgements The authors thank the other members of the CCC research group for many fruitful discussions and their support.  ... 
doi:10.4230/oasics.asd.2019.4 dblp:conf/date/MostlNSE19 fatcat:q3lbxe554zhd5ackvbcj5mk6ky

Design Space Exploration and its Visualization in AUTOFOCUS3

Sebastian Voss, Johannes Eder, Florian Hölzl
2014 Software Engineering  
Finding suitable deployments, meaning the (efficient) assignment of software components to hardware components, is one of these problems.  ...  ., Simulink or ASCET) can be used that facilitate such an development via abstract component-models of the system and support the system designer with different levels of abstractions and supporting views  ...  requirements view down to the hardware-related platform view).  ... 
dblp:conf/se/VossEH14 fatcat:c6o7ztjbsrbl7n54v2ipe34ery

Low-code engineering for internet of things

Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Pierluigi Pierini, Alfonso Pierantonio
2020 Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings  
of existing platforms, and in particular lowcode ones, for developing IoT systems.  ...  CCS CONCEPTS • Software and its engineering → Model-driven software engineering. KEYWORDS Model Driven Engineering (MDE), IoT, Low-code Engineering ACM Reference Format:  ...  , hardware configuration, and physical space into views for a situational-aware CPS.  ... 
doi:10.1145/3417990.3420208 dblp:conf/models/IhirweRMPP20 fatcat:64yroz7b25hbrp2qrjfimkhhee

Low-code Engineering for Internet of things: A state of research [article]

Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Pierluigi Pierini, Alfonso Pierantonio
2020 arXiv   pre-print
of existing platforms, and in particular low-code ones, for developing IoT systems.  ...  We also identify the limitations of already existing approaches and discuss possible ways to improve and address them in the future.  ...  , hardware configuration, and physical space into views for a situational-aware CPS.  ... 
arXiv:2009.01876v2 fatcat:ar6n56a35bgphitedos74ukbai

Model-Driven Methodology for Rapid Deployment of Smart Spaces Based on Resource-Oriented Architectures

Iván Corredor, Ana M. Bernardos, Josué Iglesias, José R. Casar
2012 Sensors  
code at hardware level.  ...  In order to alleviate this development process, this research proposes a Resource-Oriented and Ontology-Driven Development (ROOD) methodology based on the Model Driven Architecture (MDA).  ...  Acknowledgments This work has been supported by the Spanish Ministry of Economy and Competitiveness through the CDTI CENIT THOFU Programme and under grant TIN2011-28620-C02-02, and by the Government of  ... 
doi:10.3390/s120709286 pmid:23012544 pmcid:PMC3444102 fatcat:iukwhls54vcwnaj5grb76wvcnm

UAVs Beneath the Surface: Cooperative Autonomy for Subterranean Search and Rescue in DARPA SubT [article]

Matej Petrlik, Pavel Petracek, Vit Kratky, Tomas Musil, Yurii Stasinchuk, Matous Vrba, Tomas Baca, Daniel Hert, Martin Pecka, Tomas Svoboda, Martin Saska
2022 arXiv   pre-print
In contrast to the winning solution that was developed specifically for the Virtual Track, the proposed solution also proved to be a robust system for deployment onboard physical UAVs flying in the extremely  ...  The proposed approach enables fully autonomous and decentralized deployment of a UAV team with seamless simulation-to-world transfer, and proves its advantage over less mobile UGV teams in the flyable  ...  Acknowledgements We would like to thank the members of the CTU-CRAS-NORLAB team who participated in the design and development of the UAV and UGV hardware platforms, software development, simulations,  ... 
arXiv:2206.08185v1 fatcat:rqdly6y3rzagfptrhvkr4faitu

Model similarity evidence and interoperability affinity in cloud-ready Industry 4.0 technologies

G. Pedone, I. Mezgár
2018 Computers in industry (Print)  
Also manufacturing environments can benefit from cloud technology and better fulfill fast changes in market demands, by applying diverse cloud deployment models and by virtualizing manufacturing processes  ...  frameworks for industrial Internet architectures are presented: the Industrial Internet Reference Architecture (IIRA) and the Reference Architectural Model Industrie (RAMI 4.0).  ...  Acknowledgements This research has been supported partially by the European Commission through the EU H2020 projects EXCELL under grant No. 691829 and GINOP-2.3.2-15-2016-00002.  ... 
doi:10.1016/j.compind.2018.05.003 fatcat:oaiip7buvvf3reij4ofzzwlifu

IoT Frameworks and Complexity [chapter]

Sunil Cheruvu, Anil Kumar, Ned Smith, David M. Wheeler
2019 Demystifying Internet of Things Security  
Trial deployments and test beds are another technique for finding gaps. This helps find hardware-dependent incompatibilities. Trial deployments go live once the gaps can be corrected.  ...  The device is guaranteed to be in one of these five states throughout its deployment. These states map to elements of an IoT platform lifecycle model (see Figure 2 -5).  ... 
doi:10.1007/978-1-4842-2896-8_2 fatcat:amuzgyvgyjakvln6b5il2emsha

Framework for Evaluating the Version Management Capabilities of a Class of UML Modeling Tools from the Viewpoint of Multi-Site, Multi-Partner Product Line Organizations

Mervi Koivulahti-Ojala, Timo Kakola
2010 2010 43rd Hawaii International Conference on System Sciences  
UML models are widely used in software product line engineering for activities such as modeling the software product line reference architecture, detailed design, and automation of software code generation  ...  Today's UML modeling tools support sophisticated version management for managing parallel and distributed modeling.  ...  For example, when UML is adopted to model the deployment view of software, each model element may have a corresponding element in the software code (see [17] and Section 2.1).  ... 
doi:10.1109/hicss.2010.213 dblp:conf/hicss/Koivulahti-OjalaK10 fatcat:6ditx2ocsvbirjptxcj4uw2ao4

Designing a reference architecture for health information systems

Joep Tummers, Hilde Tobi, Cagatay Catal, Bedir Tekinerdogan
2021 BMC Medical Informatics and Decision Making  
Results We derived the following four architecture views for HISs: The context diagram, decomposition view, layered view, and deployment view.  ...  For the architecture design, we applied the views and beyond approach and designed the RA's views based on the stakeholders and features from the domain analysis.  ...  Funding This research did not receive any specific grant from funding agencies in the public, commercial, or not-for-profit sectors.  ... 
doi:10.1186/s12911-021-01570-2 pmid:34238281 fatcat:7jsviutklnbkpha3rsc7d7xwya
« Previous Showing results 1 — 15 out of 4,515 results