首页 > 最新文献

2014 IEEE 38th Annual Computer Software and Applications Conference最新文献

英文 中文
An Online Education Approach Using Web Operation Record and Replay Techniques 一种利用网络操作记录和回放技术的在线教育方法
Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.68
Yanchun Sun, Dejian Chen, Wenpin Jiao, Gang Huang
Online education plays a more and more important role in the era of Internet and cloud computing, but two problems remain unsolved including MOOCs. First, most of existing online education platforms only provide teaching materials in format of ppt, pdf, video, and they seldom support education based on graphical Web applications. Second, some online education platforms may provide self-governed chatting tools or whiteboards, but they are not combined with teaching materials closely. As a result, they cannot satisfy the need for the real-time interactions based on complex teaching materials. To solve the problems above, we put forward an online education approach using Web operation record and replay techniques, and implement online synchronized education and real-time interactions between teachers and students. Moreover, we develop a supporting tool OSEP for the approach. In the case study, we describe three education scenarios, which verify that the approach supports not only personal learning by tutorials and wizards, but also online in-class real-time collaborative learning.
在互联网和云计算时代,在线教育发挥着越来越重要的作用,但包括mooc在内的两个问题仍然没有得到解决。首先,现有的在线教育平台大多只提供ppt、pdf、视频等格式的教材,很少支持基于图形化Web应用的教育。其次,一些在线教育平台可能会提供自治的聊天工具或白板,但它们与教材的结合并不紧密。因此,它们无法满足基于复杂教材的实时交互需求。针对以上问题,我们提出了一种利用Web操作记录和回放技术的在线教学方式,实现了在线同步教学和师生实时互动。此外,我们还开发了一个支持该方法的工具OSEP。在案例研究中,我们描述了三个教育场景,验证了该方法不仅支持通过教程和向导进行个人学习,还支持在线课堂实时协作学习。
{"title":"An Online Education Approach Using Web Operation Record and Replay Techniques","authors":"Yanchun Sun, Dejian Chen, Wenpin Jiao, Gang Huang","doi":"10.1109/COMPSAC.2014.68","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.68","url":null,"abstract":"Online education plays a more and more important role in the era of Internet and cloud computing, but two problems remain unsolved including MOOCs. First, most of existing online education platforms only provide teaching materials in format of ppt, pdf, video, and they seldom support education based on graphical Web applications. Second, some online education platforms may provide self-governed chatting tools or whiteboards, but they are not combined with teaching materials closely. As a result, they cannot satisfy the need for the real-time interactions based on complex teaching materials. To solve the problems above, we put forward an online education approach using Web operation record and replay techniques, and implement online synchronized education and real-time interactions between teachers and students. Moreover, we develop a supporting tool OSEP for the approach. In the case study, we describe three education scenarios, which verify that the approach supports not only personal learning by tutorials and wizards, but also online in-class real-time collaborative learning.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115607158","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Analysis of Reliability and Resilience for Smart Grids 智能电网可靠性与弹性分析
Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.75
Murtadha N. Albasrawi, Nathan Jarus, Kamlesh Joshi, Sahra Sedigh Sarvestani
Smart grids, where cyber infrastructure is used to make power distribution more dependable and efficient, are prime examples of modern infrastructure systems. The cyber infrastructure provides monitoring and decision support intended to increase the dependability and efficiency of the system. This comes at the cost of vulnerability to accidental failures and malicious attacks, due to the greater extent of virtual and physical interconnection. Any failure can propagate more quickly and extensively, and as such, the net result could be lowered reliability. In this paper, we describe metrics for assessment of two phases of smart grid operation: the duration before a failure occurs, and the recovery phase after an inevitable failure. The former is characterized by reliability, which we determine based on information about cascading failures. The latter is quantified using resilience, which can in turn facilitate comparison of recovery strategies. We illustrate the application of these metrics to a smart grid based on the IEEE 9-bus test system.
智能电网是现代基础设施系统的典型代表。在智能电网中,网络基础设施被用来提高配电的可靠性和效率。网络基础设施提供监测和决策支持,旨在提高系统的可靠性和效率。这是以易受意外故障和恶意攻击的影响为代价的,因为虚拟和物理互连的范围更大。任何故障都可以更快、更广泛地传播,因此,最终结果可能是降低可靠性。在本文中,我们描述了智能电网运行的两个阶段的评估指标:故障发生前的持续时间和不可避免的故障后的恢复阶段。前者的特点是可靠性,我们根据级联故障的信息来确定可靠性。后者是使用弹性来量化的,这反过来又可以促进恢复策略的比较。我们举例说明了这些指标在基于IEEE 9总线测试系统的智能电网中的应用。
{"title":"Analysis of Reliability and Resilience for Smart Grids","authors":"Murtadha N. Albasrawi, Nathan Jarus, Kamlesh Joshi, Sahra Sedigh Sarvestani","doi":"10.1109/COMPSAC.2014.75","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.75","url":null,"abstract":"Smart grids, where cyber infrastructure is used to make power distribution more dependable and efficient, are prime examples of modern infrastructure systems. The cyber infrastructure provides monitoring and decision support intended to increase the dependability and efficiency of the system. This comes at the cost of vulnerability to accidental failures and malicious attacks, due to the greater extent of virtual and physical interconnection. Any failure can propagate more quickly and extensively, and as such, the net result could be lowered reliability. In this paper, we describe metrics for assessment of two phases of smart grid operation: the duration before a failure occurs, and the recovery phase after an inevitable failure. The former is characterized by reliability, which we determine based on information about cascading failures. The latter is quantified using resilience, which can in turn facilitate comparison of recovery strategies. We illustrate the application of these metrics to a smart grid based on the IEEE 9-bus test system.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126646783","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 54
SMoCoR: A Smart Mobile Contact Recommender Based on Smart Phone Data SMoCoR:基于智能手机数据的智能手机联系人推荐
Pub Date : 2014-07-21 DOI: 10.1145/2677832.2677841
Xiwei Zhuang, Yanchun Sun, Kui Wei
This paper presents SMoCoR, a smart mobile contact recommender based on smart phone data. It recommends the most appropriate way to contact friends according to friends' current condition. In no emergency condition, SMoCoR achieves two goals. First, the recommended contacts disturb friends least, that means, it will tell whether it's suitable to call friends. Second, the recommended contact makes the communication information accessible to the friends and gets replies from the friends as soon as possible. For the goals above, SMoCoR takes friends' calendar data and smart phone data as inputs, and after several steps of calculation it will recommend a list of contacts ranked by intelligent algorithm according to the appropriateness. The experimental results based on real-user data show that SMoCoR provides an efficient and accurate means for contact recommendation.
提出了一种基于智能手机数据的手机联系人推荐系统SMoCoR。根据朋友的现状,推荐最合适的联系方式。在没有紧急情况的情况下,SMoCoR实现了两个目标。首先,推荐的联系人打扰朋友最少,也就是说,它会告诉你是否适合打电话给朋友。其次,推荐联系人可以让朋友了解到沟通信息,并能尽快得到朋友的回复。为了实现上述目标,SMoCoR将朋友的日历数据和智能手机数据作为输入,经过几个步骤的计算,它会根据合适性推荐一份联系人列表,并通过智能算法进行排名。基于实际用户数据的实验结果表明,SMoCoR为联系人推荐提供了一种高效、准确的方法。
{"title":"SMoCoR: A Smart Mobile Contact Recommender Based on Smart Phone Data","authors":"Xiwei Zhuang, Yanchun Sun, Kui Wei","doi":"10.1145/2677832.2677841","DOIUrl":"https://doi.org/10.1145/2677832.2677841","url":null,"abstract":"This paper presents SMoCoR, a smart mobile contact recommender based on smart phone data. It recommends the most appropriate way to contact friends according to friends' current condition. In no emergency condition, SMoCoR achieves two goals. First, the recommended contacts disturb friends least, that means, it will tell whether it's suitable to call friends. Second, the recommended contact makes the communication information accessible to the friends and gets replies from the friends as soon as possible. For the goals above, SMoCoR takes friends' calendar data and smart phone data as inputs, and after several steps of calculation it will recommend a list of contacts ranked by intelligent algorithm according to the appropriateness. The experimental results based on real-user data show that SMoCoR provides an efficient and accurate means for contact recommendation.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126127533","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
SIROM3 -- A Scalable Intelligent Roaming Multi-modal Multi-sensor Framework SIROM3——一个可扩展的智能漫游多模态多传感器框架
Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.97
Jiaxing Zhang, Hanjiao Qiu, Salar Shahini Shamsabadi, R. Birken, G. Schirner
Understanding the future transportation infrastructure performance demands a smart Cyber-Physical Systems (CPS) approach integrating heterogeneous sensors, versatile computing systems, and mobile agents. However, due to sensor versatility and computing intricacy, designing such systems faces challenges of immense complexity in mobile sensor fusion, big data handling, system scalability, and integration. This paper introduces SIROM3, a Scalable Intelligent Roaming Multi-Modal Multi-Sensor framework, for next generation transportation infrastructure performance inspection. SIROM3 offers a scalable and expandable framework through orthogonally abstracting software / hardware structures in a layered Run-Time Environment (RTE), which facilities sensor fusion, distributed computing, communication and mobile services. A Heterogeneous Stream File-system Overlay (HSFO) and a flexible plug-in system (PLEX) are embedded in SIROM3 to simplify big data storage, processing, and correlation. To evaluate the scalability of SIROM, we implemented a mobile sensing system of 30 heterogeneous sensors and 5 computing platforms coordinated by 1 data center. SIROM's expandability is highlighted by adding an advanced radar platform which required less than 50 lines of C++ code for integration. Over 20 terabytes of data covering 300 miles have been collected, aggregated, and fused using SIROM3 for comprehending the pavement dynamics of the entire city of Brockton, MA. SIROM3 offers a unified solution and ideal research platform for rapid, intelligent and comprehensive evaluation of tomorrow's transportation infrastructure performance using heterogeneous systems.
了解未来交通基础设施的性能需要一种智能网络物理系统(CPS)方法,该方法集成了异构传感器、通用计算系统和移动代理。然而,由于传感器的多功能性和计算的复杂性,设计这样的系统面临着移动传感器融合、大数据处理、系统可扩展性和集成方面的巨大复杂性的挑战。本文介绍了用于下一代交通基础设施性能检测的可扩展智能漫游多模态多传感器框架SIROM3。SIROM3通过分层运行时环境(RTE)中的正交抽象软件/硬件结构提供了一个可扩展和可扩展的框架,该框架为传感器融合、分布式计算、通信和移动服务提供了便利。在SIROM3中嵌入了一个异构流文件系统叠加(HSFO)和一个灵活的插件系统(PLEX),以简化大数据的存储、处理和关联。为了评估SIROM的可扩展性,我们实现了一个由30个异构传感器和5个计算平台组成的由1个数据中心协调的移动传感系统。通过添加一个先进的雷达平台,SIROM的可扩展性得到了突出体现,该平台需要不到50行c++代码进行集成。使用SIROM3收集、汇总和融合了覆盖300英里的超过20tb的数据,以了解整个马萨诸塞州布罗克顿市的路面动态。SIROM3为使用异构系统快速、智能和全面评估未来交通基础设施性能提供了统一的解决方案和理想的研究平台。
{"title":"SIROM3 -- A Scalable Intelligent Roaming Multi-modal Multi-sensor Framework","authors":"Jiaxing Zhang, Hanjiao Qiu, Salar Shahini Shamsabadi, R. Birken, G. Schirner","doi":"10.1109/COMPSAC.2014.97","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.97","url":null,"abstract":"Understanding the future transportation infrastructure performance demands a smart Cyber-Physical Systems (CPS) approach integrating heterogeneous sensors, versatile computing systems, and mobile agents. However, due to sensor versatility and computing intricacy, designing such systems faces challenges of immense complexity in mobile sensor fusion, big data handling, system scalability, and integration. This paper introduces SIROM3, a Scalable Intelligent Roaming Multi-Modal Multi-Sensor framework, for next generation transportation infrastructure performance inspection. SIROM3 offers a scalable and expandable framework through orthogonally abstracting software / hardware structures in a layered Run-Time Environment (RTE), which facilities sensor fusion, distributed computing, communication and mobile services. A Heterogeneous Stream File-system Overlay (HSFO) and a flexible plug-in system (PLEX) are embedded in SIROM3 to simplify big data storage, processing, and correlation. To evaluate the scalability of SIROM, we implemented a mobile sensing system of 30 heterogeneous sensors and 5 computing platforms coordinated by 1 data center. SIROM's expandability is highlighted by adding an advanced radar platform which required less than 50 lines of C++ code for integration. Over 20 terabytes of data covering 300 miles have been collected, aggregated, and fused using SIROM3 for comprehending the pavement dynamics of the entire city of Brockton, MA. SIROM3 offers a unified solution and ideal research platform for rapid, intelligent and comprehensive evaluation of tomorrow's transportation infrastructure performance using heterogeneous systems.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"CE-32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126545128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
A Model for Distributed Agile Release Planning: Doctoral Symposium Paper 分布式敏捷发布计划模型:博士研讨会论文
Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.45
Ingo Richter, Robert Lindermeier, M. Weber
In this paper we describe a PhD research plan which focuses on the problem of insular thinking in distributed software development projects and its implications. The objective is to break up insular thinking in distributed agile software development through the targeted application of different media. The result of this work will be a model for distributed agile release planning. We intend to improve agile distributed release planning through the application of this model. Selected parts of the model will be evaluated through a software prototype which uses data of the Ice Breaker System project.
在本文中,我们描述了一个博士研究计划,其重点是分布式软件开发项目中的孤立思维问题及其影响。目标是通过不同媒介的针对性应用,打破分布式敏捷软件开发中的狭隘思维。这项工作的结果将是分布式敏捷发布计划的模型。我们打算通过这个模型的应用来改进敏捷的分布式发布计划。模型的选定部分将通过使用破冰船系统项目数据的软件原型进行评估。
{"title":"A Model for Distributed Agile Release Planning: Doctoral Symposium Paper","authors":"Ingo Richter, Robert Lindermeier, M. Weber","doi":"10.1109/COMPSAC.2014.45","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.45","url":null,"abstract":"In this paper we describe a PhD research plan which focuses on the problem of insular thinking in distributed software development projects and its implications. The objective is to break up insular thinking in distributed agile software development through the targeted application of different media. The result of this work will be a model for distributed agile release planning. We intend to improve agile distributed release planning through the application of this model. Selected parts of the model will be evaluated through a software prototype which uses data of the Ice Breaker System project.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"139 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123598664","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Generating Accessible Multimodal User Interfaces Using MDA-Based Adaptation Approach 基于mda的自适应方法生成可访问的多模态用户界面
Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.76
Lamia Zouhaier, Y. Hlaoui, Leila Jemni Ben Ayed
In order to ensure accessibility of user interface, it is highly recommended to elaborate a generic solution which is compliant to disable user requirements and best accommodates their particular needs. Therefore, we propose, in this paper, a generic MDA-based solution of adapting application's interface to accessibility context. It consists of generating, automatically, accessible adapted User Interfaces. Hence, we propose a multimodel approach by incorporating the modality of interaction into adaptation process. Consequently, based on MDA principals, we develop different meta-model transformations to provide an adapted User Interface model according to recent accessibility context information and a given non adapted User Interface.
为了确保用户界面的可访问性,强烈建议精心设计一个通用解决方案,该解决方案应符合禁用用户需求并最好地适应他们的特定需求。因此,本文提出了一种通用的基于mda的解决方案,使应用程序的接口适应可访问性上下文。它包括自动生成、可访问的适应性用户界面。因此,我们提出了一种多模型方法,将相互作用的模式纳入适应过程。因此,基于MDA原则,我们开发了不同的元模型转换,以根据最近的可访问性上下文信息和给定的非自适应用户界面提供自适应的用户界面模型。
{"title":"Generating Accessible Multimodal User Interfaces Using MDA-Based Adaptation Approach","authors":"Lamia Zouhaier, Y. Hlaoui, Leila Jemni Ben Ayed","doi":"10.1109/COMPSAC.2014.76","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.76","url":null,"abstract":"In order to ensure accessibility of user interface, it is highly recommended to elaborate a generic solution which is compliant to disable user requirements and best accommodates their particular needs. Therefore, we propose, in this paper, a generic MDA-based solution of adapting application's interface to accessibility context. It consists of generating, automatically, accessible adapted User Interfaces. Hence, we propose a multimodel approach by incorporating the modality of interaction into adaptation process. Consequently, based on MDA principals, we develop different meta-model transformations to provide an adapted User Interface model according to recent accessibility context information and a given non adapted User Interface.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115109862","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Towards Test Architecture Based Software Product Line Testing 面向基于测试架构的软件产品线测试
Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.83
Jihyun Lee, Sungwon Kang
Testing in software product line is difficult because variability mechanisms, which is an integral part of software product line development, decrease observability and controllability. To cope with this difficulty, this paper proposes adopting test architecture for software product line testing as a way to enhance observability and controllability.
由于可变性机制(软件产品线开发的一个组成部分)降低了可观察性和可控性,在软件产品线中进行测试是困难的。针对这一困难,本文提出采用测试体系结构进行软件产品线测试,以增强可观察性和可控性。
{"title":"Towards Test Architecture Based Software Product Line Testing","authors":"Jihyun Lee, Sungwon Kang","doi":"10.1109/COMPSAC.2014.83","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.83","url":null,"abstract":"Testing in software product line is difficult because variability mechanisms, which is an integral part of software product line development, decrease observability and controllability. To cope with this difficulty, this paper proposes adopting test architecture for software product line testing as a way to enhance observability and controllability.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130896888","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification 通过运行时配置生成和验证实现CPS的时间敏感适应
Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.55
M. García-Valls, Diego Perez-Palacin, R. Mirandola
The inherent dynamic nature of Cyber Physical Systems (CPS) requires novel mechanisms to support their evolution over their operation life time. Though typically the development of CPS integrates the software (cyber) design with the physical domain, this contribution concentrates mainly on another essential integration plane: The software design level. This paper presents an approach to support the adaptation process of CPS required by their evolution. It is based on the run-time generation of verified system configurations and their analysis to guide the evolution of the system through correct configurations that meet the functional and timing requirements of the new situations. We show its feasibility by presenting and analyzing the results of the execution for a reduced-scale time-sensitive application that employs a complex verification technique to model functional and temporal aspects of the system.
网络物理系统(CPS)固有的动态特性需要新的机制来支持其在运行寿命期间的演变。虽然典型的CPS开发将软件(网络)设计与物理领域集成在一起,但这一贡献主要集中在另一个基本集成层面:软件设计层面。本文提出了一种支持CPS进化所需的适应过程的方法。它基于已验证的系统配置的运行时生成及其分析,通过满足新情况的功能和时间需求的正确配置来指导系统的发展。我们通过展示和分析一个小型时间敏感应用程序的执行结果来展示其可行性,该应用程序采用复杂的验证技术来对系统的功能和时间方面进行建模。
{"title":"Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification","authors":"M. García-Valls, Diego Perez-Palacin, R. Mirandola","doi":"10.1109/COMPSAC.2014.55","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.55","url":null,"abstract":"The inherent dynamic nature of Cyber Physical Systems (CPS) requires novel mechanisms to support their evolution over their operation life time. Though typically the development of CPS integrates the software (cyber) design with the physical domain, this contribution concentrates mainly on another essential integration plane: The software design level. This paper presents an approach to support the adaptation process of CPS required by their evolution. It is based on the run-time generation of verified system configurations and their analysis to guide the evolution of the system through correct configurations that meet the functional and timing requirements of the new situations. We show its feasibility by presenting and analyzing the results of the execution for a reduced-scale time-sensitive application that employs a complex verification technique to model functional and temporal aspects of the system.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131077377","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 29
Design and Safety Analysis for System Architecture: A Breeze/ADL-Based Approach 系统架构的设计与安全分析:基于微风/ adl的方法
Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.35
Luxi Chen, Linpeng Huang, Chen Li, L. Wu, Weichao Luo
Architectural design modeling has emerged as a discipline in a complex system development. To implement early safety analysis, techniques for architectural design have been extended to concern the safety property. Various safety standard profiles, quantitative and qualitative analysis methods are proposed for assessment. However, few of them focuses on the feedback of the safety properties or analysis results on the adjustment to improve original architecture. In this paper, we present an approach to combine safety analysis with architecture modeling. First, we extend the meta-model of our architecture description language - Breeze/ADL with safety elements for design. Second, safety specifications are generated from Breeze/ADL, and then to be converted into Open FTA for FTA (Fault Tree Analysis). Our Breeze/ADL also supports rule definitions to adjust the architecture, to cope with safety problems. Moreover, model checking will be applied to verify the correctness of the adjustment. Finally, the tool Breeze/SA demonstrates the feasibility of our approach.
在复杂系统开发中,建筑设计建模已经成为一门学科。为了实现早期的安全分析,建筑设计的技术已经扩展到关注安全属性。提出了各种安全标准概况、定量和定性分析方法进行评价。然而,很少有人关注安全性能的反馈或分析结果的调整,以改善原架构。本文提出了一种将安全分析与体系结构建模相结合的方法。首先,我们扩展了体系结构描述语言的元模型——微风/ADL,其中包含了用于设计的安全元素。其次,从Breeze/ADL中生成安全规范,然后转换成Open FTA用于FTA (Fault Tree Analysis)。我们的Breeze/ADL还支持规则定义来调整体系结构,以处理安全问题。此外,将采用模型检查来验证调整的正确性。最后,工具Breeze/SA演示了我们方法的可行性。
{"title":"Design and Safety Analysis for System Architecture: A Breeze/ADL-Based Approach","authors":"Luxi Chen, Linpeng Huang, Chen Li, L. Wu, Weichao Luo","doi":"10.1109/COMPSAC.2014.35","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.35","url":null,"abstract":"Architectural design modeling has emerged as a discipline in a complex system development. To implement early safety analysis, techniques for architectural design have been extended to concern the safety property. Various safety standard profiles, quantitative and qualitative analysis methods are proposed for assessment. However, few of them focuses on the feedback of the safety properties or analysis results on the adjustment to improve original architecture. In this paper, we present an approach to combine safety analysis with architecture modeling. First, we extend the meta-model of our architecture description language - Breeze/ADL with safety elements for design. Second, safety specifications are generated from Breeze/ADL, and then to be converted into Open FTA for FTA (Fault Tree Analysis). Our Breeze/ADL also supports rule definitions to adjust the architecture, to cope with safety problems. Moreover, model checking will be applied to verify the correctness of the adjustment. Finally, the tool Breeze/SA demonstrates the feasibility of our approach.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"2017 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134090961","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Homesick Lévy Walk: A Mobility Model Having Ichi-Go Ichi-e and Scale-Free Properties of Human Encounters 思乡的lsamvy Walk:一种具有一走一走和人类相遇无标度特性的移动模型
Pub Date : 2014-07-21 DOI: 10.1109/COMPSAC.2014.81
A. Fujihara, H. Miwa
In recent years, mobility models have been reconsidered based on findings by analyzing some big datasets collected by GPS sensors, cell phone call records, and Geotagging. To understand the fundamental statistical properties of the frequency of serendipitous human encounters, we conducted experiments to collect long-term data on human contact using short-range wireless communication devices which many people frequently carry in daily life. By analyzing the data we showed that the majority of human encounters occur once-in-an-experimental-period: they are Ichi-go Ichi-e. We also found that the remaining more frequent encounters obey a power-law distribution: they are scale-free. To theoretically find the origin of these properties, we introduced as a minimal human mobility model, Homesick Lévy walk, where the walker stochastically selects moving long distances as well as Lévy walk or returning back home. Using numerical simulations and a simple mean-field theory, we offer a theoretical explanation for the properties to validate the mobility model. The proposed model is helpful for evaluating long-term performance of routing protocols in delay tolerant networks and mobile opportunistic networks better since some utility-based protocols select nodes with frequent encounters for message transfer.
近年来,通过分析GPS传感器、手机通话记录和地理标记收集的一些大数据集,人们对移动模型进行了重新思考。为了了解人类偶遇频率的基本统计特性,我们进行了实验,使用许多人在日常生活中经常携带的短距离无线通信设备收集人类接触的长期数据。通过分析数据,我们发现大多数人类遭遇只发生在一个实验期间:他们是一去一去。我们还发现,其余更频繁的相遇服从幂律分布:它们是无标度的。为了从理论上找到这些特性的起源,我们引入了一个最小的人类移动模型,思乡lsamvy walk,在这个模型中,步行者随机选择长距离移动以及lsamvy walk或回家。利用数值模拟和简单的平均场理论,对其性质进行了理论解释,验证了迁移率模型。该模型有助于更好地评估延迟容忍网络和移动机会网络中路由协议的长期性能,因为一些基于效用的协议选择频繁遇到的节点进行消息传输。
{"title":"Homesick Lévy Walk: A Mobility Model Having Ichi-Go Ichi-e and Scale-Free Properties of Human Encounters","authors":"A. Fujihara, H. Miwa","doi":"10.1109/COMPSAC.2014.81","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.81","url":null,"abstract":"In recent years, mobility models have been reconsidered based on findings by analyzing some big datasets collected by GPS sensors, cell phone call records, and Geotagging. To understand the fundamental statistical properties of the frequency of serendipitous human encounters, we conducted experiments to collect long-term data on human contact using short-range wireless communication devices which many people frequently carry in daily life. By analyzing the data we showed that the majority of human encounters occur once-in-an-experimental-period: they are Ichi-go Ichi-e. We also found that the remaining more frequent encounters obey a power-law distribution: they are scale-free. To theoretically find the origin of these properties, we introduced as a minimal human mobility model, Homesick Lévy walk, where the walker stochastically selects moving long distances as well as Lévy walk or returning back home. Using numerical simulations and a simple mean-field theory, we offer a theoretical explanation for the properties to validate the mobility model. The proposed model is helpful for evaluating long-term performance of routing protocols in delay tolerant networks and mobile opportunistic networks better since some utility-based protocols select nodes with frequent encounters for message transfer.","PeriodicalId":106871,"journal":{"name":"2014 IEEE 38th Annual Computer Software and Applications Conference","volume":"130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134324233","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
期刊
2014 IEEE 38th Annual Computer Software and Applications Conference
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1