首页 > 最新文献

2013 IEEE International Systems Conference (SysCon)最新文献

英文 中文
Service Oriented Architecture for agile automated testing environment 面向服务的架构,用于敏捷自动化测试环境
Pub Date : 2013-04-15 DOI: 10.1109/SysCon.2013.6549984
M. Weir, Ross Kulak, Ankur Agarwal
System test development, automation and execution process are key stages of the overall product development to both the New Product Introduction (NPI) and Production Release processes. For NPI, companies must create test systems to support product validation and verification. For manufacturing companies, ongoing process metrics are used to ensure the product meets quality specifications and can be sold to customers. This entire test process is time consuming and resource intensive and therefore negatively impacts the overall product net revenue, both in terms of time to market and in terms of development resources. Large and successful companies invest hundreds of thousands of dollars in automated test systems to support product development. Such infrastructures provide a competitive advantage by enabling a systematic methodology to generate test plans and then automatically have the test plan flow through the test software and hardware development, test and data collection, and results analysis phases. The Automatic Testing Equipment (ATE) industry has pushed to develop a framework that supports the sharing of test information, data, and analysis results across various enterprise platforms. An IEEE standard know as Automatic Test Markup Language (ATML), comprising of an XML schema, was proposed and developed in order to allow interoperability of test case, data, equipment information, and results. Our methodology provides a Service-Oriented Architecture that provides an interoperable solution. Users can begin with a test plan, deploy a scalable data monitoring and analysis capability, and follow the process from NPI through production. Various additional capabilities such as advanced analysis capability, customer data sharing resources, test software generation and deployment, closed and open source software library access, test station monitoring and equipment tracking, automated reporting schedules, and others are among the possibilities that can be added to the overall process. The proposed architecture is entirely scalable and can be deployed in single-site or global applications and may be installed behind corporate firewalls or in the cloud.
系统测试开发、自动化和执行过程是新产品导入(NPI)和产品发布过程中整个产品开发的关键阶段。对于NPI,公司必须创建测试系统来支持产品确认和验证。对于制造公司,使用持续的过程度量来确保产品符合质量规范并可以销售给客户。整个测试过程是耗时和资源密集的,因此对整个产品净收入产生负面影响,无论是在上市时间方面还是在开发资源方面。大型和成功的公司在自动化测试系统上投资了数十万美元来支持产品开发。这样的基础结构提供了一种竞争优势,它使系统的方法能够生成测试计划,然后自动地让测试计划通过测试软件和硬件开发、测试和数据收集,以及结果分析阶段。自动测试设备(ATE)行业已经推动开发一个框架,该框架支持跨各种企业平台共享测试信息、数据和分析结果。一个被称为自动测试标记语言(ATML)的IEEE标准,由一个XML模式组成,被提出并开发,以允许测试用例、数据、设备信息和结果的互操作性。我们的方法提供了一个面向服务的体系结构,它提供了一个可互操作的解决方案。用户可以从测试计划开始,部署可伸缩的数据监视和分析功能,并遵循从NPI到生产的过程。各种附加功能,如高级分析能力、客户数据共享资源、测试软件生成和部署、封闭和开放源代码软件库访问、测试站监控和设备跟踪、自动报告时间表,以及其他可以添加到整个过程中的可能性。所建议的体系结构是完全可伸缩的,可以部署在单站点或全局应用程序中,并且可以安装在公司防火墙后面或云中。
{"title":"Service Oriented Architecture for agile automated testing environment","authors":"M. Weir, Ross Kulak, Ankur Agarwal","doi":"10.1109/SysCon.2013.6549984","DOIUrl":"https://doi.org/10.1109/SysCon.2013.6549984","url":null,"abstract":"System test development, automation and execution process are key stages of the overall product development to both the New Product Introduction (NPI) and Production Release processes. For NPI, companies must create test systems to support product validation and verification. For manufacturing companies, ongoing process metrics are used to ensure the product meets quality specifications and can be sold to customers. This entire test process is time consuming and resource intensive and therefore negatively impacts the overall product net revenue, both in terms of time to market and in terms of development resources. Large and successful companies invest hundreds of thousands of dollars in automated test systems to support product development. Such infrastructures provide a competitive advantage by enabling a systematic methodology to generate test plans and then automatically have the test plan flow through the test software and hardware development, test and data collection, and results analysis phases. The Automatic Testing Equipment (ATE) industry has pushed to develop a framework that supports the sharing of test information, data, and analysis results across various enterprise platforms. An IEEE standard know as Automatic Test Markup Language (ATML), comprising of an XML schema, was proposed and developed in order to allow interoperability of test case, data, equipment information, and results. Our methodology provides a Service-Oriented Architecture that provides an interoperable solution. Users can begin with a test plan, deploy a scalable data monitoring and analysis capability, and follow the process from NPI through production. Various additional capabilities such as advanced analysis capability, customer data sharing resources, test software generation and deployment, closed and open source software library access, test station monitoring and equipment tracking, automated reporting schedules, and others are among the possibilities that can be added to the overall process. The proposed architecture is entirely scalable and can be deployed in single-site or global applications and may be installed behind corporate firewalls or in the cloud.","PeriodicalId":218073,"journal":{"name":"2013 IEEE International Systems Conference (SysCon)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115744673","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
Quantitative metrics for improving software performance for an integrated tool platform 用于改进集成工具平台的软件性能的定量度量
Pub Date : 2013-04-15 DOI: 10.1109/SysCon.2013.6549930
Manju Nanda, J. Jayanthi, C. S. Jamadagni, V. Madhan
Tools have become very critical in the design, development or testing of critical systems. The selection of proper tool contributes to the success of the project. This paper derives and discusses the metrics for selecting an appropriate tool for the intended application. The work discusses the tool metrics analysis in the various phases of the engineering process and proposes an integrated framework combining the capabilities of tools requiring for a safety critical application.
工具在关键系统的设计、开发或测试中变得非常重要。选择合适的工具是项目成功的关键。本文推导并讨论了为预期的应用程序选择合适工具的度量。该工作讨论了工程过程中各个阶段的工具度量分析,并提出了一个集成框架,结合了安全关键应用所需的工具功能。
{"title":"Quantitative metrics for improving software performance for an integrated tool platform","authors":"Manju Nanda, J. Jayanthi, C. S. Jamadagni, V. Madhan","doi":"10.1109/SysCon.2013.6549930","DOIUrl":"https://doi.org/10.1109/SysCon.2013.6549930","url":null,"abstract":"Tools have become very critical in the design, development or testing of critical systems. The selection of proper tool contributes to the success of the project. This paper derives and discusses the metrics for selecting an appropriate tool for the intended application. The work discusses the tool metrics analysis in the various phases of the engineering process and proposes an integrated framework combining the capabilities of tools requiring for a safety critical application.","PeriodicalId":218073,"journal":{"name":"2013 IEEE International Systems Conference (SysCon)","volume":"5 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114046315","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}
引用次数: 1
Solar radiation prediction based on particle swarm optimization and evolutionary algorithm using recurrent neural networks 基于粒子群优化和递归神经网络进化算法的太阳辐射预测
Pub Date : 2013-04-15 DOI: 10.1109/SysCon.2013.6549894
N. Zhang, P. Behera, Charles Williams
Over the last decade, there has been emphasis on the reduction of the dependency of fossil fuels that resulting in the growth of renewable energy industries. These industries have been significant economic drivers in many parts of the United States supported by both government and private sectors. As a part of renewable energy industries, there is a strong growth in solar power generation industries that often requires prediction of solar energy to develop highly efficient stand-alone photovoltaic systems as well as hybrid power systems. Specifically solar radiation prediction is a important component in the solar energy production. However, some computational intelligence methods that have most successful applications on time series prediction have not yet been investigated on solar radiation prediction. Only a limited number of neural networks models were applied to the solar radiation monitoring. Therefore, we propose an Elman style based recurrent neural network to predict solar radiation from the past solar radiation and solar energy in this research. A hybrid learning algorithm incorporating particle swarm optimization and evolutional algorithm was presented, which takes the complementary advantages of the two global optimization algorithms. The neural networks model was trained by particle swarm optimization and evolutional algorithm to forecast the solar radiation. The excellent experimental results demonstrated that the proposed hybrid learning algorithm can be successfully used for the recurrent neural networks based prediction model for the solar radiation monitoring.
在过去的十年里,人们一直强调减少对化石燃料的依赖,这导致了可再生能源工业的增长。这些行业在美国许多地区都是重要的经济驱动力,得到了政府和私营部门的支持。作为可再生能源产业的一部分,太阳能发电行业增长强劲,往往需要对太阳能进行预测,以开发高效的独立光伏系统以及混合动力系统。具体来说,太阳辐射预测是太阳能生产的重要组成部分。然而,一些在时间序列预测中应用最为成功的计算智能方法尚未在太阳辐射预测中得到研究。目前应用于太阳辐射监测的神经网络模型数量有限。因此,我们提出了一种基于Elman风格的递归神经网络,从过去的太阳辐射和太阳能量来预测太阳辐射。提出了一种结合粒子群算法和进化算法的混合学习算法,该算法充分利用了两种全局优化算法的互补优势。采用粒子群算法和进化算法对神经网络模型进行训练,预测太阳辐射。实验结果表明,所提出的混合学习算法可以成功地用于基于递归神经网络的太阳辐射监测预测模型。
{"title":"Solar radiation prediction based on particle swarm optimization and evolutionary algorithm using recurrent neural networks","authors":"N. Zhang, P. Behera, Charles Williams","doi":"10.1109/SysCon.2013.6549894","DOIUrl":"https://doi.org/10.1109/SysCon.2013.6549894","url":null,"abstract":"Over the last decade, there has been emphasis on the reduction of the dependency of fossil fuels that resulting in the growth of renewable energy industries. These industries have been significant economic drivers in many parts of the United States supported by both government and private sectors. As a part of renewable energy industries, there is a strong growth in solar power generation industries that often requires prediction of solar energy to develop highly efficient stand-alone photovoltaic systems as well as hybrid power systems. Specifically solar radiation prediction is a important component in the solar energy production. However, some computational intelligence methods that have most successful applications on time series prediction have not yet been investigated on solar radiation prediction. Only a limited number of neural networks models were applied to the solar radiation monitoring. Therefore, we propose an Elman style based recurrent neural network to predict solar radiation from the past solar radiation and solar energy in this research. A hybrid learning algorithm incorporating particle swarm optimization and evolutional algorithm was presented, which takes the complementary advantages of the two global optimization algorithms. The neural networks model was trained by particle swarm optimization and evolutional algorithm to forecast the solar radiation. The excellent experimental results demonstrated that the proposed hybrid learning algorithm can be successfully used for the recurrent neural networks based prediction model for the solar radiation monitoring.","PeriodicalId":218073,"journal":{"name":"2013 IEEE International Systems Conference (SysCon)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122519999","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}
引用次数: 23
Simulation based verification of concurrent processing on security devices 基于仿真的安全设备并发处理验证
Pub Date : 2013-04-15 DOI: 10.1109/SysCon.2013.6549863
M. Talamo, M. Galinium, C. Schunck, F. Arcieri
Despite the increased use of smartcards in many areas of everyday life the secure interoperability of these devices still remains a significant challenge. Common Criteria certification ensures the secure operation of a particular smartcard in a specific and closed environment and does not explicitly consider potential problems in more open environments where different types of smartcards and their corresponding applications are present at the same time. Since both the range of smartcard applications and the issuing manufacturers continue to grow, the interoperability of smartcards cannot be satisfactorily addressed in an isolated testing and certification environment. Ideally, one should be able to certify that adding a new type of smartcard and a new smartcard application to a such environment is safe without interoperability problems. To conduct this research, we focus on digital signature applications on Common Criteria certified smartcards. We investigated the vulnerabilities of smartcards in such open environments and possible ways to identify and eliminate those using Model Checking approaches. Here we simulate the interaction of many smartcards which interact with their applications via a common middleware. Each smartcard is assumed to execute a Straight Line Program which consists of a series of states or nodes connected by transitions (no loops). We discuss how these results can be taken into account in the design of new types of middleware which can identify and suppress anomalous transitions. These results will help to design systems that support multiple smartcards types and applications simultaneously and securely.
尽管智能卡在日常生活的许多领域的使用越来越多,但这些设备的安全互操作性仍然是一个重大挑战。通用标准认证确保特定智能卡在特定和封闭的环境中安全运行,而不会明确考虑在更开放的环境中同时存在不同类型的智能卡及其相应应用程序的潜在问题。由于智能卡的应用范围和发卡制造商都在不断扩大,智能卡的互操作性无法在孤立的测试和认证环境中得到满意的解决。理想情况下,应该能够证明在这样的环境中添加新类型的智能卡和新智能卡应用程序是安全的,没有互操作性问题。为了进行这项研究,我们重点研究了通用准则认证智能卡上的数字签名应用。我们研究了智能卡在这种开放环境中的漏洞,以及使用模型检查方法识别和消除这些漏洞的可能方法。在这里,我们模拟了许多智能卡的交互,这些智能卡通过一个公共中间件与它们的应用程序交互。假设每个智能卡都执行一个直线程序,该程序由一系列状态或节点组成,这些状态或节点由过渡连接(无循环)。我们讨论了如何在设计能够识别和抑制异常转换的新型中间件时考虑这些结果。这些结果将有助于设计同时且安全地支持多种智能卡类型和应用的系统。
{"title":"Simulation based verification of concurrent processing on security devices","authors":"M. Talamo, M. Galinium, C. Schunck, F. Arcieri","doi":"10.1109/SysCon.2013.6549863","DOIUrl":"https://doi.org/10.1109/SysCon.2013.6549863","url":null,"abstract":"Despite the increased use of smartcards in many areas of everyday life the secure interoperability of these devices still remains a significant challenge. Common Criteria certification ensures the secure operation of a particular smartcard in a specific and closed environment and does not explicitly consider potential problems in more open environments where different types of smartcards and their corresponding applications are present at the same time. Since both the range of smartcard applications and the issuing manufacturers continue to grow, the interoperability of smartcards cannot be satisfactorily addressed in an isolated testing and certification environment. Ideally, one should be able to certify that adding a new type of smartcard and a new smartcard application to a such environment is safe without interoperability problems. To conduct this research, we focus on digital signature applications on Common Criteria certified smartcards. We investigated the vulnerabilities of smartcards in such open environments and possible ways to identify and eliminate those using Model Checking approaches. Here we simulate the interaction of many smartcards which interact with their applications via a common middleware. Each smartcard is assumed to execute a Straight Line Program which consists of a series of states or nodes connected by transitions (no loops). We discuss how these results can be taken into account in the design of new types of middleware which can identify and suppress anomalous transitions. These results will help to design systems that support multiple smartcards types and applications simultaneously and securely.","PeriodicalId":218073,"journal":{"name":"2013 IEEE International Systems Conference (SysCon)","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124748308","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}
引用次数: 1
A network-based structural complexity metric for engineered complex systems 基于网络的工程复杂系统结构复杂性度量
Pub Date : 2013-04-15 DOI: 10.1109/SysCon.2013.6549917
Kaushik Sinha, O. Weck
The complexity of today's highly engineered products is rooted in the interwoven architecture defined by its components and their interactions. Such structures can be viewed as the adjacency matrix of the associated dependency network representing the product architecture. To evaluate a complex system or to compare it to other systems, numerical assessment of its structural complexity is mandatory. In this paper, we develop a quantitative measure for structural complexity and apply the same to real-world engineered systems like gas turbine engine. It is observed that low topological complexity implies centralized architecture and it increases as one marches towards highly distributed architectures. We posit that the development cost varies non-linearly with structural complexity. Some empirical evidences of such behavior are presented from the literature and preliminary results from simple experiments involving assembly of simple structures strengthens our hypothesis.
当今高度工程化产品的复杂性植根于由其组件及其相互作用定义的交织架构。这样的结构可以看作是表示产品架构的相关依赖网络的邻接矩阵。为了评估一个复杂系统或将其与其他系统进行比较,必须对其结构复杂性进行数值评估。在本文中,我们开发了一种结构复杂性的定量测量方法,并将其应用于现实世界的工程系统,如燃气涡轮发动机。可以观察到,低拓扑复杂性意味着集中式架构,并且随着高度分布式架构的发展,拓扑复杂性会增加。我们假设开发成本随结构复杂性呈非线性变化。这种行为的一些经验证据是从文献中提出的,而涉及简单结构组装的简单实验的初步结果加强了我们的假设。
{"title":"A network-based structural complexity metric for engineered complex systems","authors":"Kaushik Sinha, O. Weck","doi":"10.1109/SysCon.2013.6549917","DOIUrl":"https://doi.org/10.1109/SysCon.2013.6549917","url":null,"abstract":"The complexity of today's highly engineered products is rooted in the interwoven architecture defined by its components and their interactions. Such structures can be viewed as the adjacency matrix of the associated dependency network representing the product architecture. To evaluate a complex system or to compare it to other systems, numerical assessment of its structural complexity is mandatory. In this paper, we develop a quantitative measure for structural complexity and apply the same to real-world engineered systems like gas turbine engine. It is observed that low topological complexity implies centralized architecture and it increases as one marches towards highly distributed architectures. We posit that the development cost varies non-linearly with structural complexity. Some empirical evidences of such behavior are presented from the literature and preliminary results from simple experiments involving assembly of simple structures strengthens our hypothesis.","PeriodicalId":218073,"journal":{"name":"2013 IEEE International Systems Conference (SysCon)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128355789","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}
引用次数: 47
A high-level architecture framework for Air Traffic Management (ATM) Operations 空中交通管理(ATM)操作的高级架构框架
Pub Date : 2013-04-15 DOI: 10.1109/SysCon.2013.6549988
M. Simons, S. Stalnaker, C. Morgan
This paper presents a preliminary high-level architecture framework for Air Traffic Management (ATM) Operations in the context of the aviation transportation enterprise. The analysis contained in this paper examines ATM Operations as a specialized case of a logistics process and utilizes key concepts of transportation theory. The analysis used to develop the high-level architecture examines ATM Operations as a socio-technical Systems of System (SoS) where the human is examined as an integral part of the system, together with other physical components such as automation and infrastructure. The framework is developed using a systems methodology and presents a high-level architecture of functions and data. It also presents a set of notional operational and service-level requirements. In this paper we use the example of ATM Operations in the United States (U.S.) to illustrate the application of the high-level framework. As more research is conducted in both breadth and depth, it is expected that this high-level architecture will evolve. The framework presented in this paper is intended to help aviation stakeholders in their quest to develop new capabilities while meeting the mission needs of the organization. The framework is intended to be used in planning and coordinating systems research and development. It is expected the framework can also be used as a basis to help define expectations between organizations.
本文提出了航空运输企业空中交通管理(ATM)运行的初步高层架构框架。本文所包含的分析将ATM操作作为物流过程的一个特殊案例进行研究,并利用了运输理论的关键概念。用于开发高级架构的分析将ATM操作作为系统的社会技术系统(so)进行检查,其中将人与其他物理组件(如自动化和基础设施)一起作为系统的组成部分进行检查。该框架是使用系统方法开发的,并呈现了功能和数据的高级架构。它还提出了一组概念上的操作和服务水平需求。在本文中,我们以美国的ATM操作为例来说明高级框架的应用。随着越来越多的研究在广度和深度上进行,预计这种高级体系结构将得到发展。本文提出的框架旨在帮助航空利益相关者在满足组织任务需求的同时开发新能力。该框架旨在用于规划和协调系统研究与发展。预计该框架还可以用作帮助定义组织之间期望的基础。
{"title":"A high-level architecture framework for Air Traffic Management (ATM) Operations","authors":"M. Simons, S. Stalnaker, C. Morgan","doi":"10.1109/SysCon.2013.6549988","DOIUrl":"https://doi.org/10.1109/SysCon.2013.6549988","url":null,"abstract":"This paper presents a preliminary high-level architecture framework for Air Traffic Management (ATM) Operations in the context of the aviation transportation enterprise. The analysis contained in this paper examines ATM Operations as a specialized case of a logistics process and utilizes key concepts of transportation theory. The analysis used to develop the high-level architecture examines ATM Operations as a socio-technical Systems of System (SoS) where the human is examined as an integral part of the system, together with other physical components such as automation and infrastructure. The framework is developed using a systems methodology and presents a high-level architecture of functions and data. It also presents a set of notional operational and service-level requirements. In this paper we use the example of ATM Operations in the United States (U.S.) to illustrate the application of the high-level framework. As more research is conducted in both breadth and depth, it is expected that this high-level architecture will evolve. The framework presented in this paper is intended to help aviation stakeholders in their quest to develop new capabilities while meeting the mission needs of the organization. The framework is intended to be used in planning and coordinating systems research and development. It is expected the framework can also be used as a basis to help define expectations between organizations.","PeriodicalId":218073,"journal":{"name":"2013 IEEE International Systems Conference (SysCon)","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127568103","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
Engineering graphic user interfaces with protected content 具有受保护内容的工程图形用户界面
Pub Date : 2013-04-15 DOI: 10.1109/SysCon.2013.6549854
A. Ejnioui, C. Otero, A. Qureshi
Information technology organizations are increasingly having difficulty completing software projects with protected content due to a lack of qualified engineers with proper security credentials. These organizations are turning toward technology to look for advanced software tools that allow them to develop software systems while protecting proprietary or classified content. Many of these software systems require that a graphic user interface (GUI) be developed without accessing protected content. Properly credentialed engineers can later embed the protected content in this GUI. This paper presents a software tool, called GUI Miner, which allows users to edit the contents of GUIs without accessing the source code of the target application. This tool extracts the entire set of GUI widgets in an existing Java application to make them available for editing. Edit changes made on these widgets are automatically reflected on the screen and saved to appropriate class files by modifying their bytecode. Testing of this tool on a set of small Java applications shows that it works as expected without consuming too many memory or processor resources.
由于缺乏具有适当安全证书的合格工程师,信息技术组织越来越难以完成具有受保护内容的软件项目。这些组织正在转向技术,寻找先进的软件工具,使他们能够在开发软件系统的同时保护专有或机密内容。许多此类软件系统要求在不访问受保护内容的情况下开发图形用户界面(GUI)。经过适当认证的工程师可以稍后在此GUI中嵌入受保护的内容。本文提出了一个名为GUI Miner的软件工具,它允许用户在不访问目标应用程序源代码的情况下编辑GUI的内容。该工具提取现有Java应用程序中的整套GUI小部件,使其可用于编辑。对这些小部件所做的编辑更改会自动反映在屏幕上,并通过修改它们的字节码保存到适当的类文件中。在一组小型Java应用程序上对该工具进行的测试表明,它可以按预期工作,而不会消耗太多内存或处理器资源。
{"title":"Engineering graphic user interfaces with protected content","authors":"A. Ejnioui, C. Otero, A. Qureshi","doi":"10.1109/SysCon.2013.6549854","DOIUrl":"https://doi.org/10.1109/SysCon.2013.6549854","url":null,"abstract":"Information technology organizations are increasingly having difficulty completing software projects with protected content due to a lack of qualified engineers with proper security credentials. These organizations are turning toward technology to look for advanced software tools that allow them to develop software systems while protecting proprietary or classified content. Many of these software systems require that a graphic user interface (GUI) be developed without accessing protected content. Properly credentialed engineers can later embed the protected content in this GUI. This paper presents a software tool, called GUI Miner, which allows users to edit the contents of GUIs without accessing the source code of the target application. This tool extracts the entire set of GUI widgets in an existing Java application to make them available for editing. Edit changes made on these widgets are automatically reflected on the screen and saved to appropriate class files by modifying their bytecode. Testing of this tool on a set of small Java applications shows that it works as expected without consuming too many memory or processor resources.","PeriodicalId":218073,"journal":{"name":"2013 IEEE International Systems Conference (SysCon)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128851348","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}
引用次数: 0
Detecting intelligent agent behavior with environment abstraction in complex air combat systems 复杂空战系统中基于环境抽象的智能体行为检测
Pub Date : 2013-04-15 DOI: 10.1109/SysCon.2013.6549953
S. Mittal, Margery J. Doyle, Eric Watz
Intelligence can be defined as an emergent property in some types of complex systems and may arise as a result of an agent's interactions with the environment or with other agents either directly or indirectly through changes in the environment. Within this perspective, intelligence takes the form of an `observer' phenomenon; externally observed at a level higher than that of agents situated in their environment. Such emergent behavior sometimes may be reduced to the fundamental components within the system and its interacting agents and sometimes it is a completely novel behavior involving a new nomenclature. When emergent behavior is reducible to its parts it is considered to be a `weak' form of emergence and when emergent behavior cannot be reduced to its constituent parts, it is considered to be a `strong' form of emergence. A differentiating factor between these two forms of emergent phenomena is the usage of emergent outcomes by the agents. In weak emergence there is no causality, while in strong emergence there is causation as a result of actions based on the affordances emergent phenomena support. Modeling a complex air combat system involves modeling agent behavior in a dynamic environment and because humans tend to display strong emergence, the observation of emergent phenomena has to exist within the knowledge boundaries of the domain of interest so as not to warrant any new nomenclature for the computational model at the semantic level. The emergent observed phenomenon has to be semantically tagged as `intelligent' and such knowledge resides within the bounds of the semantic domain. Therefore, observation and recognition of emergent intelligent behavior has been undertaken by the development and use of an Environment Abstraction (EA) layer that semantically ensures that strong emergence can be modeled within an agent-platform-system, such as Live, Virtual and Constructive (LVC) training in a Distributed Mission Operations (DMO) testbed. In the present study, various modeling architectures capable of modeling/mimicking human type behavior or eliciting an expected response from a human pilot in a training environment are brought to bear at the semantic interoperability level using the EA layer. This article presents a high level description of the agent-platform-system and how formal modeling and simulation approaches such as Discrete Event Systems (DEVS) formalism can be used for modeling complex dynamical systems capturing emergent behavior at various levels of interoperability. The ideas presented in this paper successfully achieve integration at the syntactic level using the Distributed Interactive Simulation (DIS) protocol data units and semantic interoperability with the EA layer.
智能可以被定义为在某些类型的复杂系统中出现的一种紧急属性,它可能是由于代理与环境或通过环境变化直接或间接地与其他代理相互作用的结果。从这个角度来看,智力采取了一种“观察者”现象的形式;外部观察的水平高于处于其环境中的主体的水平。这种突发行为有时可以归结为系统中的基本组成部分及其相互作用的代理,有时则是一种涉及新术语的全新行为。当紧急行为被简化为其组成部分时,它被认为是一种“弱”的出现形式,当紧急行为不能被简化为其组成部分时,它被认为是一种“强”的出现形式。这两种形式的突现现象之间的一个区别因素是行动者对突现结果的使用。在弱涌现中没有因果关系,而在强涌现中有因果关系,这是基于涌现现象支持的能力的行为的结果。对复杂空战系统的建模涉及对动态环境中的智能体行为进行建模,由于人类倾向于表现出强烈的涌现性,因此对涌现现象的观察必须存在于感兴趣的领域的知识边界内,以免在语义层面上为计算模型提供任何新的命名。出现的观察到的现象必须在语义上标记为“智能”,并且这种知识驻留在语义域的范围内。因此,对紧急智能行为的观察和识别是通过开发和使用环境抽象(EA)层来进行的,该层在语义上确保了在代理平台系统中可以对强出现进行建模,例如分布式任务操作(DMO)测试平台中的实时、虚拟和建设性(LVC)训练。在目前的研究中,各种建模架构能够建模/模仿人类类型的行为,或者在训练环境中从人类飞行员那里得到预期的响应,这些都是使用EA层在语义互操作性级别上承担的。本文介绍了代理-平台系统的高级描述,以及如何使用诸如离散事件系统(DEVS)形式化的形式化建模和仿真方法来建模复杂的动态系统,以捕获各种互操作性级别上的紧急行为。本文提出的思想通过使用分布式交互仿真(DIS)协议数据单元和与EA层的语义互操作性,成功地实现了语法级的集成。
{"title":"Detecting intelligent agent behavior with environment abstraction in complex air combat systems","authors":"S. Mittal, Margery J. Doyle, Eric Watz","doi":"10.1109/SysCon.2013.6549953","DOIUrl":"https://doi.org/10.1109/SysCon.2013.6549953","url":null,"abstract":"Intelligence can be defined as an emergent property in some types of complex systems and may arise as a result of an agent's interactions with the environment or with other agents either directly or indirectly through changes in the environment. Within this perspective, intelligence takes the form of an `observer' phenomenon; externally observed at a level higher than that of agents situated in their environment. Such emergent behavior sometimes may be reduced to the fundamental components within the system and its interacting agents and sometimes it is a completely novel behavior involving a new nomenclature. When emergent behavior is reducible to its parts it is considered to be a `weak' form of emergence and when emergent behavior cannot be reduced to its constituent parts, it is considered to be a `strong' form of emergence. A differentiating factor between these two forms of emergent phenomena is the usage of emergent outcomes by the agents. In weak emergence there is no causality, while in strong emergence there is causation as a result of actions based on the affordances emergent phenomena support. Modeling a complex air combat system involves modeling agent behavior in a dynamic environment and because humans tend to display strong emergence, the observation of emergent phenomena has to exist within the knowledge boundaries of the domain of interest so as not to warrant any new nomenclature for the computational model at the semantic level. The emergent observed phenomenon has to be semantically tagged as `intelligent' and such knowledge resides within the bounds of the semantic domain. Therefore, observation and recognition of emergent intelligent behavior has been undertaken by the development and use of an Environment Abstraction (EA) layer that semantically ensures that strong emergence can be modeled within an agent-platform-system, such as Live, Virtual and Constructive (LVC) training in a Distributed Mission Operations (DMO) testbed. In the present study, various modeling architectures capable of modeling/mimicking human type behavior or eliciting an expected response from a human pilot in a training environment are brought to bear at the semantic interoperability level using the EA layer. This article presents a high level description of the agent-platform-system and how formal modeling and simulation approaches such as Discrete Event Systems (DEVS) formalism can be used for modeling complex dynamical systems capturing emergent behavior at various levels of interoperability. The ideas presented in this paper successfully achieve integration at the syntactic level using the Distributed Interactive Simulation (DIS) protocol data units and semantic interoperability with the EA layer.","PeriodicalId":218073,"journal":{"name":"2013 IEEE International Systems Conference (SysCon)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116943713","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}
引用次数: 8
Towards the development of a complex structural inspection system using small-scale aerial vehicles and image processing 朝着利用小型飞行器和图像处理技术开发复杂结构检测系统的方向发展
Pub Date : 2013-04-15 DOI: 10.1109/SysCon.2013.6549916
Juan C. Avendano, L. D. Otero, P. Cosentino
Inspections of structures such as bridges and high mast lightning (HML) and support poles are crucial to the maintenance and safety of transportation infrastructures. Government agencies rely on inspections to estimate the health of structures and make decisions-such as allocation of human resources and funds to maintainrepair the structures - that significantly affect public safety and costs. This paper describes a work-in-progress towards the development of a highly complex system capable of assisting structural inspectors during the inspection process. The authors present the conceptual design of a complex system capable of acquiring and processing image data of structures in near real-time efficiently and in a cost-effective manner. The completion of this highly complex system requires a robust systems engineering approach that integrates the software engineering, mobile technology, small-scale aerial vehicles, and transportation engineering disciplines.
对桥梁、高桅杆闪电(HML)和支撑杆等结构的检查对交通基础设施的维护和安全至关重要。政府机构依靠检查来估计建筑物的健康状况,并作出决定,例如分配人力资源和资金来维护和修理建筑物,这对公共安全和成本有重大影响。本文描述了一项正在进行的工作,朝着一个高度复杂的系统的发展,能够在检查过程中协助结构检查员。作者提出了一种复杂系统的概念设计,该系统能够近实时、高效、经济地获取和处理结构图像数据。这个高度复杂系统的完成需要一个强大的系统工程方法,它集成了软件工程、移动技术、小型飞行器和运输工程学科。
{"title":"Towards the development of a complex structural inspection system using small-scale aerial vehicles and image processing","authors":"Juan C. Avendano, L. D. Otero, P. Cosentino","doi":"10.1109/SysCon.2013.6549916","DOIUrl":"https://doi.org/10.1109/SysCon.2013.6549916","url":null,"abstract":"Inspections of structures such as bridges and high mast lightning (HML) and support poles are crucial to the maintenance and safety of transportation infrastructures. Government agencies rely on inspections to estimate the health of structures and make decisions-such as allocation of human resources and funds to maintainrepair the structures - that significantly affect public safety and costs. This paper describes a work-in-progress towards the development of a highly complex system capable of assisting structural inspectors during the inspection process. The authors present the conceptual design of a complex system capable of acquiring and processing image data of structures in near real-time efficiently and in a cost-effective manner. The completion of this highly complex system requires a robust systems engineering approach that integrates the software engineering, mobile technology, small-scale aerial vehicles, and transportation engineering disciplines.","PeriodicalId":218073,"journal":{"name":"2013 IEEE International Systems Conference (SysCon)","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128136010","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}
引用次数: 4
Mental tasks selection method for a SVM-based BCI system 基于svm的脑机接口系统心理任务选择方法
Pub Date : 2013-04-15 DOI: 10.1109/SysCon.2013.6549970
E. Iáñez, A. Úbeda, E. Hortal, J. Azorín
In this work, a study that analyzes the best combinations of mental tasks in a Brain-Computer Interface (BCI) using a classifier based on Support Vector Machine (SVM) is presented. To that end, twelve mental tasks of different nature are analyzed and the results of the classification for the combinations of two, three and four tasks are obtained. Four volunteers performed registers of the twelve tasks. The main goal is to find the combination of more than three mental tasks that obtains the higher reliability to apply it in future complex applications that require the use of more than three mental control commands. After a selection procedure, the results obtained show higher success percentages and important differences according to the nature of the mental tasks, which suggest that it is possible to differentiate with enough reliability between more than three mental tasks using the methodology proposed.
在这项工作中,提出了一项使用基于支持向量机(SVM)的分类器分析脑机接口(BCI)中心理任务的最佳组合的研究。为此,对12个不同性质的心理任务进行了分析,得出了二任务、三任务和四任务组合的分类结果。四名志愿者对这十二项任务进行记录。主要目标是找到三个以上心理任务的组合,以获得更高的可靠性,以便在未来需要使用三个以上心理控制命令的复杂应用中应用它。经过选择程序后,获得的结果显示出更高的成功率和根据心理任务的性质的重要差异,这表明使用所提出的方法可以在三个以上的心理任务之间进行足够可靠的区分。
{"title":"Mental tasks selection method for a SVM-based BCI system","authors":"E. Iáñez, A. Úbeda, E. Hortal, J. Azorín","doi":"10.1109/SysCon.2013.6549970","DOIUrl":"https://doi.org/10.1109/SysCon.2013.6549970","url":null,"abstract":"In this work, a study that analyzes the best combinations of mental tasks in a Brain-Computer Interface (BCI) using a classifier based on Support Vector Machine (SVM) is presented. To that end, twelve mental tasks of different nature are analyzed and the results of the classification for the combinations of two, three and four tasks are obtained. Four volunteers performed registers of the twelve tasks. The main goal is to find the combination of more than three mental tasks that obtains the higher reliability to apply it in future complex applications that require the use of more than three mental control commands. After a selection procedure, the results obtained show higher success percentages and important differences according to the nature of the mental tasks, which suggest that it is possible to differentiate with enough reliability between more than three mental tasks using the methodology proposed.","PeriodicalId":218073,"journal":{"name":"2013 IEEE International Systems Conference (SysCon)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126825546","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}
引用次数: 10
期刊
2013 IEEE International Systems Conference (SysCon)
全部 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