Humberto Tello-Morales, E. Pinos-Vélez, L. Serpa-Andrade
{"title":"Development of a system of aid for use the computer through a wireless system for people with quadriplegia in Ecuador","authors":"Humberto Tello-Morales, E. Pinos-Vélez, L. Serpa-Andrade","doi":"10.1109/SYSENG.2018.8544428","DOIUrl":"https://doi.org/10.1109/SYSENG.2018.8544428","url":null,"abstract":"The American Spinal Injury Association (ASIA) defines the Quadriplegia as \"the loss of motor function and/or sensitive in the cervical segments of the spinal cord, causing a functional deficit in arms, trunk, legs and pelvic organs, excluding the brachial plexus and peripheral nerves outside of the spinal canal\". The causes are set according to the etiology of the spinal cord injury present in the affected person and these may be due to medical reasons or causes of trauma. Depends on the clinical profile of the patient to determine the type of injury and the level of cervical lesion in the spinal cord, which determines the loss of bodily functions. With this type of physical disability, the person loses control of different basic functions, creating dependency and assistance to perform various activities such as mobilization, intake of food or fluids, even for the use of technological devices, in Ecuador, as well as in other places, the disability generates poverty. At present, with the advance of technology, there are several types of aid techniques that have been developed as methods of support for people who have this condition of life, fostering in this way, social inclusion, education and employment with technological devices by voice command. The main purpose of this project, is to design and implement a prototype wireless that will allow the interaction between a person with quadriplegia and the computer, through the control of your head, neck and shoulders. With the aim of achieving a degree of independence, particularly in the use of technological devices. The results obtained are used to raise new areas of help for people with quadriplegia, as for example, the control of the wheelchair, among others.","PeriodicalId":192753,"journal":{"name":"2018 IEEE International Systems Engineering Symposium (ISSE)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126513424","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}
A. Comuniello, G. D. Angelis, A. D. Angelis, A. Moschitta
{"title":"Effect of transducer directivity on ultrasound 2D positioning system accuracy","authors":"A. Comuniello, G. D. Angelis, A. D. Angelis, A. Moschitta","doi":"10.1109/SysEng.2018.8544447","DOIUrl":"https://doi.org/10.1109/SysEng.2018.8544447","url":null,"abstract":"The main objective of this work is to analyze the effect of transducer directivity on the accuracy of a 2D ultrasound positioning system, based on time domain measurements. The analysis is carried out using both simulations and experimental verifications, aiming at assessing the system robustness and performance in a practical scenario. The experimental verification is performed using a microcontroller-based setup with low-cost piezoelectric ultrasonic transducers. The results show that the positioning performance becomes worse when the effect of directivity is prominent.","PeriodicalId":192753,"journal":{"name":"2018 IEEE International Systems Engineering Symposium (ISSE)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127812008","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}
Romain Barbedienne, O. Penas, Mouadh Yagoubi, Eric Duceau, E. Landel
{"title":"Model of Intention for the model specification verification during the simulation architecture design process","authors":"Romain Barbedienne, O. Penas, Mouadh Yagoubi, Eric Duceau, E. Landel","doi":"10.1109/SYSENG.2018.8544437","DOIUrl":"https://doi.org/10.1109/SYSENG.2018.8544437","url":null,"abstract":"Nowadays, simulation technologies are becoming indispensable to support the design process, and notably during the verification and optimization phases. However, when building a simulation architecture that has to provide the systems architects with answers, simulations architects have to correctly specify the corresponding models required. In a MBSE concept, we propose to extend the concept of model of intention, to verify the specification of these models, to model suppliers by providing them with a Model Request Package. Models of Intention will allow an executable verification of the simulation architecture before the integration of the final models of realization.","PeriodicalId":192753,"journal":{"name":"2018 IEEE International Systems Engineering Symposium (ISSE)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134197565","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":"Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness","authors":"B. Intrigila, L. Mazzucchelli","doi":"10.1109/SYSENG.2018.8544453","DOIUrl":"https://doi.org/10.1109/SYSENG.2018.8544453","url":null,"abstract":"Concrete approaches and Formal methodologies are required to achieve the quality and assurance level in engineering complex safety critical systems. The specificity and opportunity that inspired this work is the development of a new-generation Air Traffic Control System- called 4-Flight. The paper will give the context, the key factors, the challenges and methods to achieve concrete and safe results in a large scale project.","PeriodicalId":192753,"journal":{"name":"2018 IEEE International Systems Engineering Symposium (ISSE)","volume":"187 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124309319","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 reliability growth model in a multiple test stages framework","authors":"Y. Xing, P. Jiang, Z. Cheng","doi":"10.1109/SYSENG.2018.8544460","DOIUrl":"https://doi.org/10.1109/SYSENG.2018.8544460","url":null,"abstract":"The development process of a product can be divided into several stages. In each stage of the development process, the product will experience a “Test Analyze and Fix”(TAAF) procedure, during which, the design defects of the product exposed in the test will be modified by engineers to enable the reliability growth after each stage. Then the product will enter the next development stage. To meet the test requirements of product, various test modes will be adopted during the development process of a product. In this paper, a reliability growth model in a multiple test stages framework is proposed to describe the growth trend of product reliability during the development process, which aims to satisfy the demand of failure censored test mode for binomial system. Finally, a numerical example is used to illustrate the proposed development process.","PeriodicalId":192753,"journal":{"name":"2018 IEEE International Systems Engineering Symposium (ISSE)","volume":"356 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115424428","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}
N. Osmic, Anel Tahirbegović, A. Tahirovic, S. Bogdan
{"title":"Failure Mode and Effects Analysis for large scale multirotor Unmanned Aerial Vehicle Controlled by Moving Mass System","authors":"N. Osmic, Anel Tahirbegović, A. Tahirovic, S. Bogdan","doi":"10.1109/SYSENG.2018.8544444","DOIUrl":"https://doi.org/10.1109/SYSENG.2018.8544444","url":null,"abstract":"In this paper Failure Mode and Effects Analysis (FMEA) for a large scale multirotor systems (with moving mass) based on novel system for aircraft control will be presented. This system uses four petrol engines for lift and a moving mass system to control the vehicle. Analysis presented in this paper assesses the vulnerabilities of the system during the vehicle operation. The main objective of the analysis is to understand the cause and severity of the failures that can occur to the petrol engines and the moving mass system. Our unmanned aerial vehicle system is used for environmental monitoring and maritime security developed under MORUS project funded under NATO SPS Program. The ultimate goal of our research and design is to make an unmanned aerial vehicle that can lift larger amount of load (approximately 40kg). During its operation time the unmanned aerial vehicle might fail to complete a certain assignment so failure mode and effects analysis is needed to account for such problems and to find appropriate activities to reduce the overall risk the system faces during the mission.","PeriodicalId":192753,"journal":{"name":"2018 IEEE International Systems Engineering Symposium (ISSE)","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114508545","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":"An Improved Approach to Traceability in the Engineering of Complex Systems","authors":"Thuy Nguyen","doi":"10.1109/SYSENG.2018.8544436","DOIUrl":"https://doi.org/10.1109/SYSENG.2018.8544436","url":null,"abstract":"Traceability is an essential technique in the engineering of complex, yet dependable systems. It informs on how an objective or a requirement at a given development phase is taken into account in subsequent phases. Traditionally, it is implemented using links relating the objective or requirement to its solution elements. However, in many cases, simple traceability links do not provide sufficient information. In particular, they do not explain the reasons of the chosen solution. Understanding these reasons is important for verification, but also for the renovation of the system long after its original designers are no longer available. This paper presents an improved traceability approach based firstly on the notion of justification framework, and secondly on an advanced requirements and solutions modelling framework. The approach not only relates requirements and solution elements as traceability links do, but also makes explicit the reasoning of the designers in the selection of the solution. The example given shows the refinement of a high-level functional objective that is easy to understand but not very precise. The approach shows how it is transformed into a more complete, more complex but unambiguous requirement, and explains the reasoning of the designers when specifying that requirement.","PeriodicalId":192753,"journal":{"name":"2018 IEEE International Systems Engineering Symposium (ISSE)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116215242","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":"Automated Generation of Modular PLC Control Software from P&ID Diagrams in Process Industry","authors":"Gennadiy Koltun, Moritz Kolter, B. Vogel‐Heuser","doi":"10.1109/SYSENG.2018.8544401","DOIUrl":"https://doi.org/10.1109/SYSENG.2018.8544401","url":null,"abstract":"Piping and instrumentation diagrams (P&IDs) are commonly used in the process industry’s detailed engineering to describe process flows and to serve as a basis for the systems design of processing plants. These diagrams (documents) serve as a basis for upcoming engineering activities, especially the development of control software. Changes in P&IDs often entail adaption of the respective control software. Although these adaptions often realized manually, the development of control software is characterized by painstaking effort and a tendency to prolong projects. This paper therefore proposes an approach that segments P&IDs according the ISA-88 standard. An implemented prototype subsequently generates modular control software based on the PLCopen standardized exchange format. Within an implemented prototype, the approach was evaluated on a sample P&ID derived from a representative lab-size demonstrator, which highlighted the ability to reduce time and costs during the development of control software.","PeriodicalId":192753,"journal":{"name":"2018 IEEE International Systems Engineering Symposium (ISSE)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125961622","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}
Paolo Ballarini, M. Batteux, Leo Chartier, A. Rauzy
{"title":"Analysis of business process specifications with OpenAltarica","authors":"Paolo Ballarini, M. Batteux, Leo Chartier, A. Rauzy","doi":"10.1109/SYSENG.2018.8544458","DOIUrl":"https://doi.org/10.1109/SYSENG.2018.8544458","url":null,"abstract":"The Business Process Model Annotation (BPMN) is a graphical notation aimed at building intuitive representations of complex business processes. Although a useful means for documenting of business processes the main limitation of BPMN is the lack of a formal semantics which may yield to ambiguous specifications, while leaving the modeller with no means to detect errors contained in a model. In this paper we introduce a framework for mapping BPMN models to a corresponding representation in terms of the Open-Altarica language, a formal modelling language designed for safety-analysis of discrete-event probabilistic models. This allows the BPMN modeller to take advantage of the analysis and simulation tools provided with the Open Altarica platform, therefore allowing for error detection in BPMN models. We demonstrate the proposed approach through the analysis of a power supply system case study.","PeriodicalId":192753,"journal":{"name":"2018 IEEE International Systems Engineering Symposium (ISSE)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126714827","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}