{"title":"面向可扩展和分布式智能应用的基于模型的物联网生命周期方法","authors":"S. Mazzini, John M. Mavaro, Laura Baracchi","doi":"10.1109/ITSC.2015.33","DOIUrl":null,"url":null,"abstract":"A model-based methodology is presented for providing effective and efficient property-preserving mechanisms for non-functional properties such as real-time, safety, security and performance for Internet of Things (IoT) system components. The presented methodology and related supporting tool chain provide a means to model, develop, analyze, verify, operate, manage and monitor heterogeneous mission-critical smart applications with distributed scalable deployments of IoT components, such as the data distribution services of Intelligent Transport Systems, which are increasingly being deployed in loosely coupled federations of nodes.","PeriodicalId":124818,"journal":{"name":"2015 IEEE 18th International Conference on Intelligent Transportation Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"A Model-Based Approach Across the IoT Lifecycle for Scalable and Distributed Smart Applications\",\"authors\":\"S. Mazzini, John M. Mavaro, Laura Baracchi\",\"doi\":\"10.1109/ITSC.2015.33\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A model-based methodology is presented for providing effective and efficient property-preserving mechanisms for non-functional properties such as real-time, safety, security and performance for Internet of Things (IoT) system components. The presented methodology and related supporting tool chain provide a means to model, develop, analyze, verify, operate, manage and monitor heterogeneous mission-critical smart applications with distributed scalable deployments of IoT components, such as the data distribution services of Intelligent Transport Systems, which are increasingly being deployed in loosely coupled federations of nodes.\",\"PeriodicalId\":124818,\"journal\":{\"name\":\"2015 IEEE 18th International Conference on Intelligent Transportation Systems\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-09-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2015 IEEE 18th International Conference on Intelligent Transportation Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ITSC.2015.33\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 IEEE 18th International Conference on Intelligent Transportation Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ITSC.2015.33","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A Model-Based Approach Across the IoT Lifecycle for Scalable and Distributed Smart Applications
A model-based methodology is presented for providing effective and efficient property-preserving mechanisms for non-functional properties such as real-time, safety, security and performance for Internet of Things (IoT) system components. The presented methodology and related supporting tool chain provide a means to model, develop, analyze, verify, operate, manage and monitor heterogeneous mission-critical smart applications with distributed scalable deployments of IoT components, such as the data distribution services of Intelligent Transport Systems, which are increasingly being deployed in loosely coupled federations of nodes.