Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
https://ruomo.lib.uom.gr/handle/7000/659
Πλήρης εγγραφή μεταδεδομένων
Πεδίο DC | Τιμή | Γλώσσα |
---|---|---|
dc.contributor.author | Lekidis, Alexios | - |
dc.contributor.author | Stachtiari, Emmanouela | - |
dc.contributor.author | Katsaros, Panagiotis | - |
dc.contributor.author | Bozga, Marius | - |
dc.contributor.author | Georgiadis, Christos K. | - |
dc.date.accessioned | 2020-04-06T04:56:08Z | - |
dc.date.available | 2020-04-06T04:56:08Z | - |
dc.date.issued | 2018 | - |
dc.identifier | 10.1002/spe.2568 | en_US |
dc.identifier.issn | 0038-0644 | en_US |
dc.identifier.uri | https://doi.org/10.1002/spe.2568 | en_US |
dc.identifier.uri | https://ruomo.lib.uom.gr/handle/7000/659 | - |
dc.description.abstract | The design of software for networked systems with nodes running an Internet of things operating system faces important challenges due to the heterogeneity of interacting things and the constraints stemming from the often limited amount of available resources. In this context, it is hard to build confidence that a design solution fulfills the application's requirements. This paper introduces a design flow for web service applications of the representational state transfer style that is based on a formal modeling language, the behaviour, interaction, priority (BIP) component framework. The proposed flow applies the principles of separation of concerns in a component‐based design process that supports the modular design and reuse of model artifacts. The BIP tools for state‐space exploration allow verifying qualitative properties for service responsiveness, ie, the timely handling of events. Moreover, essential quantitative properties are validated through statistical model checking of a stochastic BIP model. All properties are preserved in actual implementation by ensuring that the deployed code is consistent with the validated model. We illustrate the design of a representational state transfer sense‐compute‐control application for a Wireless Personal Area Network architecture with nodes running the Contiki operating system. The results validate qualitative and quantitative properties for the system and include the study of error behaviours. | en_US |
dc.language.iso | en | en_US |
dc.publisher | Wiley | en_US |
dc.source | Software: Practice and Experience | en_US |
dc.subject | FRASCATI::Natural sciences::Computer and information sciences | en_US |
dc.subject.other | Internet of things | en_US |
dc.subject.other | model-based design | en_US |
dc.subject.other | service-oriented architecture | en_US |
dc.title | Model-based design of IoT systems with the BIP component framework | en_US |
dc.type | Article | en_US |
dc.contributor.department | Τμήμα Εφαρμοσμένης Πληροφορικής | en_US |
local.identifier.volume | 48 | en_US |
local.identifier.issue | 6 | en_US |
local.identifier.firstpage | 1167 | en_US |
local.identifier.lastpage | 1194 | en_US |
Εμφανίζεται στις Συλλογές: | Τμήμα Εφαρμοσμένης Πληροφορικής |
Αρχεία σε αυτό το Τεκμήριο:
Αρχείο | Περιγραφή | Μέγεθος | Μορφότυπος | |
---|---|---|---|---|
GeorgiadisChristos_Model-based design of IoT_2018.pdf | 1,07 MB | Adobe PDF | Προβολή/Ανοιγμα |
Τα τεκμήρια στο Αποθετήριο προστατεύονται από πνευματικά δικαιώματα, εκτός αν αναφέρεται κάτι διαφορετικό.