{"title":"Fault diagnosis and recovery from structural failures (icing) in unmanned aerial vehicles","authors":"M. M. Tousi, K. Khorasani","doi":"10.1109/SYSTEMS.2009.4815816","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2009.4815816","url":null,"abstract":"This paper tackles the problem of fault diagnosis and recovery of unmanned arial vehicles (UAVs) resulting from structural failures (icing). The proposed system consists of two units one for fault diagnosis and another for fault recovery. The goal of the fault diagnosis unit is to detect and estimate the severity of a fault. The recovery unit utilizes information on the estimated fault and adjusts the controller parameters to recover the system from the faulty condition. This methodology is useful mostly for small UAVs, where the available methods for structural fault detection and recovery are too expensive to be applied. Icing problem, which is a well-known structural problem in aerospace industry is considered as a demonstration of this method. Our proposed approach takes advantage of control theory to detect and recover faults within the flight control unit. Simulation results are provided to demonstrate the effectiveness and practical use of our proposed approach.","PeriodicalId":131616,"journal":{"name":"2009 3rd Annual IEEE Systems Conference","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117213727","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}
{"title":"A formal analysis of ISO/IEEE P11073-20601 standard of medical device communication","authors":"N. Goga, S. Costache, F. Moldoveanu","doi":"10.1109/SYSTEMS.2009.4815792","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2009.4815792","url":null,"abstract":"This article presents the formal work done for the ISO/IEEE P11073-20601 Draft Standard for Health informatics - Personal health device communication - Application profile - Optimized exchange protocol. ISO/IEEE 11073 family defines standards for device communication between agents (e.g. blood pressure monitors, weighing scales) that collect information about a person and manager (e.g., cell phone, health appliance, or personal computer) for collection, display, and possible later re-transmission. The particular draft standard ISO/IEEE P11073-20601 defines protocols for data exchange between agents and managers. Although such a system in medical use must be extremely reliable under all circumstances, until now a formal analysis has been used only in analyzing draft IEEE P11073-20601 as a part of developing the protocols in this family of standards. We analyzed the protocols both manually and automatically. For the automated analysis of safety properties we applied model-checking techniques, which is feasible since the number of processes is limited, and because we can abstract from most data in the protocols. We used the language Promela and the tool Spin, since this combination has a good reputation in practical applications and it is well documented. The results of our work are now incorporated in this standard.","PeriodicalId":131616,"journal":{"name":"2009 3rd Annual IEEE Systems Conference","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128204588","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}
{"title":"A study of approaches for model based development of an automotive driver information system","authors":"Yue Guo, R. P. Jones","doi":"10.1109/SYSTEMS.2009.4815810","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2009.4815810","url":null,"abstract":"Over the past decades, the use of electronic systems in automotive vehicles has grown exponentially. Automotive systems engineering requires a sustainable integration of new methods, development processes, and tools that are specifically adapted to the automotive domain. This paper describes two approaches to the development of an automotive electronic system via a case study involving the modelling and code generation of a driver information system. The first approach involves the use of the SysML based tool Artisan Studio whilst the second approach involves the use of the MATLAB tools Simulink and Stateflow. The paper compares the two approaches and summarizes the strengths and weaknesses of two approaches respectively. Conclusions are drawn on how to make use of the model based design to meet the challenges in the automotive industry.","PeriodicalId":131616,"journal":{"name":"2009 3rd Annual IEEE Systems Conference","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127254282","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}
{"title":"Modeling a system of systems to analyze requirements","authors":"S. White","doi":"10.1109/SYSTEMS.2009.4815777","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2009.4815777","url":null,"abstract":"To help systems engineers select a method for modeling large complex systems during the requirements phase of systems engineering, and also help researchers develop better models and methods, this paper identifies the semantics, mathematical basis, and attributes needed to model a system of systems. We use these model characteristics to compare several practical languages and methods that engineers use for systems engineering, Distributed Computing Design System (basis for Vitech's method, CORE), Statemate, the Unified Modeling Language (UML), and Systems Modeling Language (SysML). We identify which methods excel in a specific area, and why. For example, we show why the method used in Statemate to control activities should be used in SysML.","PeriodicalId":131616,"journal":{"name":"2009 3rd Annual IEEE Systems Conference","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123158767","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}
{"title":"Building organizational agility into large-scale software-reliant environments","authors":"P. Boxer","doi":"10.1109/SYSTEMS.2009.4815830","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2009.4815830","url":null,"abstract":"The tempo at which an enterprise creates new uses for its systems is different from that of its acquisition or systems development processes. The military continues to confront the issue of how fielded systems can support the agility needed by its deployed forces. This problem of diverging tempos applies to a variety of large-scale, software-reliant enterprises.such as those found in healthcare and digital communications. This paper posits four realities underpinning an approach to this problem space: the governance-demand double challenge, edge-driven perspective, stratification, and demand cohesion. It uses a particular case example to show how these concepts support the modeling and analysis of the enterprise as a socio-technical system of systems. The paper argues that analyses based on this approach are necessary for making this problem space tractable.","PeriodicalId":131616,"journal":{"name":"2009 3rd Annual IEEE Systems Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121445559","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}
{"title":"Domain Engineering Methodology","authors":"Tony Khoo","doi":"10.1109/SYSTEMS.2009.4815818","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2009.4815818","url":null,"abstract":"Domain Engineering Methodology aims to improve the communication and coordination of architecting complex System-of-systems (SoS) for Network Centric Warfare (NCW). The DEM identifies best-of-breed techniques across a variety of processes to derive a methodology that concentrates on architectures. This enables Projects and individuals to better collaborate on architectural efforts with improved consistency to produce quality engineering artifacts. This paper examines the approach and results of the research.","PeriodicalId":131616,"journal":{"name":"2009 3rd Annual IEEE Systems Conference","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121135114","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}
{"title":"A new fuzzy-based system for extracting structural features allowing to capture stripes' image local patterns","authors":"P. Sobrevilla, E. Montseny, M. Grau-Sánchez","doi":"10.1109/SYSTEMS.2009.4815833","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2009.4815833","url":null,"abstract":"This paper presents our ongoing work for analyzing the power of the Fuzzy Texture Spectrum for obtaining the patterns that determine the presence of some kind of structure within an image. Specifically, the system here proposed exploits the advantages of Fuzzy techniques for obtaining the Fuzzy Texture Spectrum patterns having outstanding power for getting stripes' image characterization. Based on the analysis of the frequencies of the structured patterns in a set of training images, and applying fuzzy rules, we get the stripes' patterns and the degree to which an image, or an image part, is Stripe.","PeriodicalId":131616,"journal":{"name":"2009 3rd Annual IEEE Systems Conference","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132370024","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}
{"title":"A framework for enterprise resilience using service oriented architecture approach","authors":"Ozgur Erol, M. Mansouri, B. Sauser","doi":"10.1109/SYSTEMS.2009.4815785","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2009.4815785","url":null,"abstract":"This paper proposes a framework to create enterprise resilience using service oriented architecture approach (SOA). The proposed framework is based on two enablers of enterprise resilience: i) the capability of an enterprise to connect systems, people, processes, and information in a way that allows enterprise to become more connected and responsive to the dynamics of its environment, stakeholders, and competitors; ii) the alignment of information technology and business goals. The former requires inter and intra- enterprise level interoperability and integration, and the latter requires simplification of the underlying technology infrastructure and creation of a consolidated view of, and access to, all available resources in the enterprise that can be attained by well-defined enterprise architecture. Based on these two key enablers, we outline a theoretical model which explains how SOA can help in creating enterprise resilience. This model defines enterprise resilience as a function of enterprise flexibility, adaptability, agility, and efficiency.","PeriodicalId":131616,"journal":{"name":"2009 3rd Annual IEEE Systems Conference","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133871737","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}
{"title":"A new paradigm for behaviour-context dynamics and applications to the behaviour of humans and human-centric systems","authors":"M. Ibrahim","doi":"10.1109/SYSTEMS.2009.4815788","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2009.4815788","url":null,"abstract":"In this paper, human behaviour, its context and the dynamics of their interplay are interpreted in terms of clusters of activities with a focus and corresponding aspects. These are considered to occur in the realms of objective/subjective continuum of behaviour and the realms of contextual certainty/uncertainty continuum. Furthermore, activities are clustered using their dynamics and facilitating media, where four primitive facilitating media are identified and these are matter, energy, information as well as fields.","PeriodicalId":131616,"journal":{"name":"2009 3rd Annual IEEE Systems Conference","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125139767","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}
{"title":"A decentralized cooperative actuator fault accommodation of formation flying satellites in deep space","authors":"S. Azizi, K. Khorasani","doi":"10.1109/SYSTEMS.2009.4815803","DOIUrl":"https://doi.org/10.1109/SYSTEMS.2009.4815803","url":null,"abstract":"In this paper, a new fault accommodation framework that is based on a decentralized cooperative scheme is proposed for formation flying satellites. A low-level fault recovery (LLFR) module uses conventional estimation techniques to determine the severity of a fault. It then activates a recovery controller (RC) to accomplish the design specifications. Due to existence of a biased estimate of the fault, a high-level (HL) supervisor will detect any possible violations of the performance specifications, and consecutively activates the formation-level fault recovery (FLFR) module. This module compensates for performance degradations of the faulty satellite by requiring that the healthy satellites do allocate additional resources. Consequently, our proposed cooperative architecture recovers the fault while the decentralized control requirements and the error performance specifications are satisfied. Simulation results presented confirm the effectiveness of our proposed analytical work.","PeriodicalId":131616,"journal":{"name":"2009 3rd Annual IEEE Systems Conference","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126068102","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}