{"title":"Distributed Ledgers in Developing Large-Scale Integrated Systems","authors":"Michael F. Marchini","doi":"10.1109/SysCon48628.2021.9447136","DOIUrl":"https://doi.org/10.1109/SysCon48628.2021.9447136","url":null,"abstract":"Large-scale development and maintenance projects involve numerous dependencies across multiple disparate organizations, and these projects are subject to contractual stipulations, customer requirements, stakeholder expectations, and compliance/regulatory issues. Because these dependencies and constraints can change over time, mechanisms must exist to absorb, propagate, and implement perturbations to the original scope of work. Such mechanisms are generally human-oriented, involving significant effort to confirm successful modification while avoiding systemic regression. Distributed Ledger Technology alleviates concerns of regression while providing costeffective, actionable business insight during the development of large-scale, integrated systems. Fine-grained insights benefit all parties involved in the system’s development, allowing for the incorporation of necessary systemic changes in an economical and informed manner. The system described in this work provides users of varying business roles with a single, clear, and concise view of their collaborative, large-scale development projects. This approach provides needed flexibility and functionality, allowing its users to maintain rigorous traceability while minimizing the time and attention needed to maintain valid project records. Further, practitioners are more well-informed regarding change impact and need not rely solely on subject-matter experts’ insights and judgments; instead, they rely on artifact provenance to reliably view the past and present of the project and reliably predict future impacts. Combining distributed ledgers and distributed storage creates a scalable, flexible platform for enterprise-grade project management.","PeriodicalId":384949,"journal":{"name":"2021 IEEE International Systems Conference (SysCon)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129714285","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":"Performance Evaluation of Distributed Systems in Multiple Clouds using Docker Swarm","authors":"N. Naik","doi":"10.1109/SysCon48628.2021.9447123","DOIUrl":"https://doi.org/10.1109/SysCon48628.2021.9447123","url":null,"abstract":"The design of distributed systems in multiple clouds have been gaining popularity due to various benefits of the multi-cloud infrastructure such as minimizing vendor lock-in, data loss and downtime. Nonetheless, this multi-cloud infrastructure also poses several challenges such as compatibility, interoperability, complex provisioning and configuration due to the variation in technologies and services of each cloud provider. Consequently, it is a tedious task to design distributed systems in multiple clouds. Virtualization is regarded as the base technology of the cloud and therefore, most cloud-based distributed systems are based on it. Nevertheless, virtual machines require substantial resources and cause several issues across multiple clouds such as provisioning, configuration management, load balancing and migration. Docker Swarm is a container-based clustering tool that resolves some of these issues and supports the design of distributed systems in multiple clouds. It has also incorporated several inbuilt attributes of the distributed system, however, it is still evolving. This paper initially presents the simulated development of a Docker Swarm-based distributed system which can be easily replicated in multiple clouds. Subsequently, based on the simulated Docker Swarm-based distributed system, it performs an evaluation of several attributes of this distributed system such as high availability and fault tolerance; automatic scalability, load balancing and maintainability of services; and scalability of large clusters.","PeriodicalId":384949,"journal":{"name":"2021 IEEE International Systems Conference (SysCon)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124075513","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 generative Approach for creating Eclipse Sirius Editors for generic Systems","authors":"Francesco Bedini, Ralph Maschotta, A. Zimmermann","doi":"10.1109/SysCon48628.2021.9447062","DOIUrl":"https://doi.org/10.1109/SysCon48628.2021.9447062","url":null,"abstract":"Model-Driven Engineering (MDE) is getting more and more important for modeling, analyzing, and simulating complicated systems. It can also be used for both documenting and generating source code, which is less error-prone than a manually written one. For defining a model, it is common to have a graphical representation that can be edited through an editor. Creating such an editor for a given domain may be a difficult task for first-time users and a tedious, repetitive, and error-prone task for experienced ones. This paper introduces a new automated flow to ease the creation of ready-to-use Sirius editors based on a model, graphically defined by the domain experts, which describe their domains’ structure. We provide different model transformations to generate the required artifacts to obtain a fully-fledged Sirius editor based on a generated domain metamodel. The generated editor can then be distributed as an Eclipse application or as a collaborative web application. Thanks to this generative approach, it is possible to reduce the cost of refactoring the domain’s model in successive iterations, as only the final models need to be updated to conform to the latest format. At the same time, the editor gets generated and hence updated automatically at practically no cost.","PeriodicalId":384949,"journal":{"name":"2021 IEEE International Systems Conference (SysCon)","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132649237","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":"Does The Complex SoS Have Negative Emergent Behavior? Looking For Violations Formally","authors":"R. Raman, Y. Jeppu","doi":"10.1109/SysCon48628.2021.9447127","DOIUrl":"https://doi.org/10.1109/SysCon48628.2021.9447127","url":null,"abstract":"A complex system is characterized by emergence of global properties. These emergent properties are very difficult to anticipate just from complete knowledge of component behaviors. Characteristics of complex systems discussed in literature include emergence, hierarchical organization and numerosity. Recently, there has been an increase on the adoption of various neural network-based machine learning models to govern the functionality and behavior of systems. With this increasing system complexity, there is increasing challenge in attaining confidence in systems. The ease with which systems are getting interconnected is permeating numerous system-of-systems (SoS), wherein multiple independent systems are expected to interact and collaborate to achieve unparalleled levels of functionality. Traditional verification and validation approaches are often inadequate to bring in the nuances of potential emergent behavior in a system-of-system, which may be positive or negative. In this paper, we look for violations formally in the emergent behavior of a complex SoS. The case study pertains to a swarm of autonomous UAVs flying in a formation, and dynamically changing the shape of the formation, to support varying mission scenarios. We use a tool called CBMC which is a bounded model checker that looks at properties in a small defined region and bound and argues on its correctness. The effectiveness and performance of the approach are quantified.","PeriodicalId":384949,"journal":{"name":"2021 IEEE International Systems Conference (SysCon)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132953556","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":"Incorporating Behavior in Attribute Based Access Control Model Using Machine Learning","authors":"M. Afshar, Saeed Samet, Hamid Usefi","doi":"10.1109/SysCon48628.2021.9447115","DOIUrl":"https://doi.org/10.1109/SysCon48628.2021.9447115","url":null,"abstract":"Preventing unauthorized and illegitimate access to sensitive resources is the primary duty of access control models. However, the malicious activities by authorized users cause significant damages to their underlying systems. In many cases, existing access control models are incomplete in their ability to detect insider abuse, and rather than detecting and preventing insider attack, it seems to still operate by forensic analysis after an attack. Attribute-Based Access Control is a new access control model that can be used instead of other traditional types of access control models, and makes decisions according to the access requests by utilizing users’ as well as resources’ attributes. However, it still endures a quandary of how to permit the real eligible users to access the resources while blocking abnormal access by authorized users of a system. In this paper, an Attribute/Behavior-Based Access Control is proposed by understanding and deriving users’ behaviors from log files. Not only our model uses the user/resource attributes, but it also utilizes their behaviors to detect the abnormal users even with valid attributes. This model principally uses the behaviors of a given user to grant or deny access requests. The concept of a user’s behavior will be introduced, and we present a feature construction method to model users’ access behaviors. As the proof of concept, machine learning algorithms are trained and tested using a database from UCI Machine Learning Repository. Experimental results illustrate that our model is efficient, accurate, and promising in detecting authorized users with abnormal behaviors.","PeriodicalId":384949,"journal":{"name":"2021 IEEE International Systems Conference (SysCon)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132206864","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":"Modelling of Using Hall Magnetic Sensor for Environmental Monitor of Micrometer-Sized Magnetite Particles","authors":"Hua Fan, Huajiang Xie, Jiangmin Mao, Jianming Liu, Xiaopeng Diao, Qi Wei, Q. Feng","doi":"10.1109/SysCon48628.2021.9447084","DOIUrl":"https://doi.org/10.1109/SysCon48628.2021.9447084","url":null,"abstract":"Hall Magnetic sensors for particles detection have been explored over the past decades. It has been mentioned that the detection has the potential in the applications of biomedicine and environmental monitor. In biomedicine, numerical researches of Hall sensor have been achieved for detecting bio-markers magnetic nanoparticles (MNPs). On the contrary, Hall sensor for environmental monitor is seldom investigated. This paper carries out a pioneering investigation on Hall sensors for air quality detection. A modelling base on finite element method (FEM) software COMSOL is established to quantify the ability of Hall sensors in the measurement of micrometer-sized magnetite particles distributed in the air. Meanwhile, as the development of environmental magnetism in recent years, the modelling has the potential to provide the first protype of portable sensors for the detection of microsized magnetite particles in the air in the future.","PeriodicalId":384949,"journal":{"name":"2021 IEEE International Systems Conference (SysCon)","volume":"22 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116595814","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}
Jingwei Huang, Wael Khallouli, Holly A. H. Handley, W. Edmonson, Trisha Ahmed, Nadew Kibret
{"title":"Semantic Mapping from SysML to FRP: to Enable Executable and Verifiable Systems Design","authors":"Jingwei Huang, Wael Khallouli, Holly A. H. Handley, W. Edmonson, Trisha Ahmed, Nadew Kibret","doi":"10.1109/SysCon48628.2021.9447075","DOIUrl":"https://doi.org/10.1109/SysCon48628.2021.9447075","url":null,"abstract":"The emerging Digital Engineering demands digital representation of the system of interest and sharing models and data across the boundaries of organizations and the boundaries of the engineering lifecycle. Towards this direction, it is critical to develop systems modeling languages and tools that accommodate Digital Engineering. This paper presents our research on semantic mapping from System Modeling Language (SysML) to Functional Reactive Programming (FRP) with the goal of developing computing mechanisms with functional reactive programming to support executable and verifiable SysML model specification.","PeriodicalId":384949,"journal":{"name":"2021 IEEE International Systems Conference (SysCon)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134017044","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":"Deploying Different Clustering Techniques on a Collaborative-based Movie Recommender","authors":"Dina Nawara, R. Kashef","doi":"10.1109/SysCon48628.2021.9447139","DOIUrl":"https://doi.org/10.1109/SysCon48628.2021.9447139","url":null,"abstract":"Recommendation systems are involved in many industries, for example (e-health, transportation, e-commerce, and agriculture), where Recommendation systems aim to benefit both market and user levels. They help consumers make the right decision based on their preferences without being exposed to data overload. Nowadays, there is a wide range of recommenders based on different filtering approaches, such as Collaborative-based, Content-based, hybrid-based, demographic-based filtering approaches. In this paper, we present clustering-based recommendation systems. We also experiment and show the results for a collaborative-based movie recommender using different clustering techniques such as Kmeans, BIRCH Balanced Iterative Reducing and Clustering using Hierarchies) and DBSCAN (Density-based Spatial Clustering of Applications with Noise). We intended to choose different clustering approaches such as partitional, hierarchical, and density-based clustering approaches. We incorporated Item-based Collaborative filtering, then applied multiple clustering techniques on the dataset based on the users’ ratings. We checked the performance using accuracy measures such as MAE (Mean Absolute Error), RMSE (Root mean square error), and the computed time. These measures were calculated for analysis and comparison purposes.","PeriodicalId":384949,"journal":{"name":"2021 IEEE International Systems Conference (SysCon)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115273355","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 System For P300 Detection Applied To Vehicle Navigation","authors":"Riley Magee, S. Givigi","doi":"10.1109/SysCon48628.2021.9447129","DOIUrl":"https://doi.org/10.1109/SysCon48628.2021.9447129","url":null,"abstract":"Brain-machine interface (BMI) systems are used to classify biological signals from the brain, such as electroencephalogram (EEG) data, to determine control commands. There are several different signals that can be used for the interface. Among them, one finds the P300 signal. The P300 signal is a potential signal that is passively produced when a user observes, hears or pays attention to a desired stimulus. This signal has been used in conjunction with a graphical user interface (GUI) to allow a person to choose commands from a list of possible actions. Traditionally, the visual stimuli are repeated and averaged to increase classification accuracy, which, in turn, reduces the maximum possible command rate. In order to improve command rate, this paper describes a system wherein feature extraction and classifier training could be tested offline. Then, live testing in a mobile robot steering simulation was carried out. Finally, a live experiment is reported. The features to be used in classification are selected using a genetic algorithm (GA). Using the chosen features, 78.3% signal detection accuracy was achieved for single epochs. Using multiple-epochs to improve classifier performance in simulated and real-world steering experiments we were able to successfully navigate a simple maze while maintaining classifier accuracy (Sim: $79.9 pm 5.3$%, Real: $88.8pm 10.1$%).","PeriodicalId":384949,"journal":{"name":"2021 IEEE International Systems Conference (SysCon)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114881944","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}
Aditya Akundi, T. Tseng, C. N. Almeraz, Rocio J. Lopez-Terrazas, Hebin Luan
{"title":"A Novel Approach to Behavior Design for Model Based Systems Engineering Application Using Design Structure Matrix","authors":"Aditya Akundi, T. Tseng, C. N. Almeraz, Rocio J. Lopez-Terrazas, Hebin Luan","doi":"10.1109/SysCon48628.2021.9447074","DOIUrl":"https://doi.org/10.1109/SysCon48628.2021.9447074","url":null,"abstract":"Model-Based Systems Engineering (MBSE) is the formalized application of modeling to support various system evolving stages starting from the conceptual design phase to all the life cycle phases that follow. To facilitate in an efficient system behavior design process, in this paper, a Design Structure Matrix (DSM) based approach is developed and illustrated for determining the operational sequence of activities relevant to requirements of the system and in identifying the concurrent activities as well. A triangularization algorithm method is extended especially for application on activity diagrams to determine knowledge activities in an interaction graph to identify groups of activities and arrange them concurrently. The findings through the DSM based approach are validated by a system engineering expert and are implemented to construct the MBSE activity diagram to facilitate an enhanced behavior design of the system. This paper illustrates the use of Design Structure Matrix to facilitate modeling interdependencies between activities and the approach to aggregate the resulted sequential and concurrent activities with the activity diagram, applied to a case study of Execute Hohmann Transfer based on DellSat-77 Satellite System. In addition, the potentials benefits of using a Design Structure Matrix methodology for assisting Model Based Systems Engineering activities for enhanced systems behavior design is portrayed.","PeriodicalId":384949,"journal":{"name":"2021 IEEE International Systems Conference (SysCon)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131814697","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}