Filters








188,486 Hits in 7.0 sec

An Ontology-Based Approach to Automated Test Case Generation

Shreya Banerjee, Narayan C. Debnath, Anirban Sarkar
2021 SN Computer Science  
The prime challenges among are (1) major approaches are confined to a specific domain, (2) least consideration about modified domain knowledge, (3) lack of methodology for auto-identification of pre-conditions  ...  The novelty of the proposed method is the specification of domain independent inference rules based on which the devised reasoner can generate test cases for different domains and systems automatically  ...  Thus, these approaches are specific to certain domain. Likewise, in [17] , authors have described the method for automated test case generation of multi-agent systems.  ... 
doi:10.1007/s42979-020-00420-8 fatcat:mve6p54dkbaujnmbwa6mr43eae

Robust filtering of PLC program for automated systems of production

R Benlorhfar, D Annebicque, F Gellot, B Riera
2011 IFAC Proceedings Volumes  
The proposed methodology rests on the one hand, on a rigorous analysis of the automated production system in order to formally build the set of constraints which constitute the filter using temporal and  ...  The proposed methodology enables to secure the control program of automated production systems.  ...  Acknowledgment The authors want to thank the Champagne-Ardenne region for their financial support under the project CPER-MOSYP (French acronym for Performance Measurement and Optimization of Production  ... 
doi:10.3182/20110828-6-it-1002.01995 fatcat:ipduvs6amvg6batagghwygoaoa

Towards a Tool-based Methodology for Developing Software for Dynamic Robot Teams

Roland Glück, Alwin Hoffmann, Ludwig Nägele, Andreas Schierl, Wolfgang Reif, Heinz Voggenreiter
2018 Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics  
The proposed approach integrates process experts and automation experts on all levels.  ...  Two case studies will serve as test beds to the developed approach: production of carbon-fiber reinforced polymers and assembly of furniture.  ...  These dependencies are expressed through constraints concerning the goals. As analysis modules depend on the structure of the blueprint, they are mostly domain specific.  ... 
doi:10.5220/0006884806150622 dblp:conf/icinco/GluckHNSRV18 fatcat:6gefvsbfmzbwfdz3puh55fjrqi

System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches [chapter]

Giovanna Dondossola, Oliver Botti
2000 Lecture Notes in Computer Science  
FT is considered a valid technique for increasing the dependability of critical automation systems by adding them the ability to operate in presence of faults.  ...  Furthermore, the availability of a methodology oriented to the specification of system FT is especially useful in view of integrating available FT software layers according to specific system needs.  ...  Time Domain |= Conclusions and Future Usage The paper has presented a methodological approach to the specification and analysis of high level fault tolerance requirements, which makes use of two general  ... 
doi:10.1007/3-540-46428-x_7 fatcat:5uwez6ntr5bcvivi3joluwnngq

A Domain-specific Modeling Framework for Attack Surface Modeling

Tithnara Sun, Bastien Drouot, Fahad Golra, Joël Champeau, Sylvain Guerin, Luka Le Roux, Raúl Mazo, Ciprian Teodorov, Lionel Van Aertryck, Bernard L'Hostis
2020 Proceedings of the 6th International Conference on Information Systems Security and Privacy  
Cybersecurity is becoming vital as industries are gradually moving from automating physical processes to a higher level automation using cyber physical systems (CPS) and internet of things (IoT).  ...  For this purpose, we have designed Pimca, a domain specific modeling language geared towards capturing the attacker point of view of the system.  ...  ACKNOWLEDGMENTS We thank the French ministry of the armed forces and the DGA for funding this research.  ... 
doi:10.5220/0008916203410348 dblp:conf/icissp/SunDGCGRMTAL20 fatcat:agayvxvjjzbgbb5zto2fo3bmlu

Secure Software Systems Engineering: The Secure Tropos Approach (Invited Paper)

Haralambos Mouratidis
2011 Journal of Software  
In particular, the paper discusses the Secure Tropos modeling language, the security aware process of the methodology, and it also introduces the secTro, an automated tool to support the methodology.  ...  This paper discusses the secure Tropos methodology. This is the first paper in the literature that discusses all the aspects of the methodology as it has evolved over the last 10 years.  ...  An abuse case is defined as a specification of a type of complete interaction between a system and one or more actors, where the results of the interaction are harmful to the system, one of the actors,  ... 
doi:10.4304/jsw.6.3.331-339 fatcat:qiwcknclsbhodckjietscbebme

A Review on Application of Model Based Systems Engineering to Manufacturing and Production Engineering Systems

Aditya Akundi, Viviana Lopez
2021 Procedia Computer Science  
Further, investigating the tools and languages used by the researchers for facilitating the transition to and the integration of MBSE approach, we identify the most commonly used tools and languages to  ...  Further, investigating the tools and languages used by the researchers for facilitating the transition to and the integration of MBSE approach, we identify the most commonly used tools and languages to  ...  system engineering methodology approach.  ... 
doi:10.1016/j.procs.2021.05.011 fatcat:hwuksdi6cjc3fbru4qng6dpbpu

Task analysis of discrete and continuous skills: a dual methodology approach to human skills capture for automation

J. Everitt, S. Fletcher, A. Caird-Daley
2015 Theoretical Issues in Ergonomics Science  
There is a growing requirement within the field of intelligent automation for a formal methodology to capture and classify explicit and tacit skills deployed by operators during complex task performance  ...  Discrete Task Analysis is a more traditional, chronologically ordered methodology and is intended to increase the resolution of skill classification and be practical for assessing complex tasks involving  ...  Secondly, the case studies presented are intended solely to evaluate the practicality of the methodology in use and were not linked to a specific automation project.  ... 
doi:10.1080/1463922x.2015.1028508 fatcat:zca2kocblrhgxc6ydlvnyvhhju

Developmental Test and Requirements: Best Practices of Successful Information Systems Using Agile Methods

Jeremy Kramer, Torrey Wagner
2019 Defense Acquisition Research Journal  
This article provides insights into the current state of developmental testing (DT) and requirements management in Department of Defense information systems employing Agile development.  ...  The authors describe the study methodology and provide an overview of Agile development and testing. Insights are described for requirements, detailed planning, test execution, and reporting.  ...  Ferhan Kilical and Susan Gotta provided substantive input to compilation of the manuscript topics and content.  ... 
doi:10.22594/dau.19-819.26.02 fatcat:xan2oksrmfh6rgvix57na6ubgy

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems [chapter]

Alejandra Ruiz, Barbara Gallina, Jose Luis de la Vara, Silvia Mazzini, Huáscar Espinoza
2016 Lecture Notes in Computer Science  
This paper presents a recent initiative called AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) to promote harmonization, reuse and automation  ...  AMASS will develop an integrated and holistic approach, a supporting tool ecosystem and a self-sustainable community for assurance and certification of CPS.  ...  AMASS proposes to refine this approach to support the management of trade-offs between system characteristics. System Dependability Co-Analysis/Assessment.  ... 
doi:10.1007/978-3-319-45480-1_25 fatcat:7mds4xwzcna35pyonmfajpymuy

Automated Generation of Functional Test Cases and Use Case Diagram using SRS Analysis

Arjinder Singh, Sumit Sharma
2015 International Journal of Computer Applications  
This approach will help to achieve the early detection of faults and will reduce the time, cost and effort of the developer.  ...  Software testing mainly consists of three types of approaches i.e. specification based testing, model based testing and coding based testing.  ...  Analyze the software requirement specification (SRS) to find the appropriate use cases and actors. Analysis of SRS is of two types automated analysis and manual analysis ii.  ... 
doi:10.5120/ijca2015905464 fatcat:mtgi7mrebraw7c3n2h6wxvmg4y

Digital Twin-Driven Process and Equipment FMECA Generation for Smart Manufacturing Applications

Sudipto@teamqsi.com, Jay Meyer, Venkat Malepati, Caleb Hudson, Somnath Deb, Andrew Hess, Feraidoon Zahiri, Gregory Sutton
2021 Proceedings of the Annual Conference of the Prognostics and Health Management Society, PHM  
In this paper, we present QSI's approach towards adapting and enhancing their existing model-based systems engineering (MBSE) approach towards a comprehensive digital twin that incorporates constructs  ...  The paper will discuss the various levels of automation towards incorporation of these model constructs and their reuse towards automation of the development of the different digital twins and subsequently  ...  process and methodology for Fault Management Analysis, Design and Deployment for metal Figure 3 : 3 Figure 3: QSI's solution approach towards automated development of digital twin of a smart manufacturing  ... 
doi:10.36001/phmconf.2021.v13i1.3085 fatcat:x7q4tpaomzcmrearyekxl7bqsi

Towards automating software maintenance [chapter]

Stanislaw Jarzabek, Kelly Tham
1991 Lecture Notes in Computer Science  
The objective of this research is to delimit boundaries for long-term evolution of the project and to define a framework for integrating specific techniques and tools we develop.  ...  Next, we observe that there can be no universal maintenance methodology, because an optimal maintenance process depends on many factors which are specific to a maintenance problem in hand.  ...  We are also grateful to the following members of DISCS and ISS (both at the National University of Singapore) community for many interesting discussions: Dr Ling T.W., Dr Loh W.L., Dr Lu H.J., Dr Tan C.L  ... 
doi:10.1007/3-540-54059-8_93 fatcat:bkppzxyjgngzjjwrafjgctisha

Toward an automated benchmark management system

Lisa Nguyen Quang Do, Michael Eichberg, Eric Bodden
2016 Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2016  
We describe ABM, a methodology to semi-automatically mine software repositories to extract up-to-date and representative sets of applications belonging to specific domains.  ...  The proposed methodology facilitates the creation of such collections and makes it easier to release updated versions of a benchmark suite.  ...  Acknowledgments This research was supported by a Fraunhofer Attract grant as well as the Heinz Nixdorf Foundation.  ... 
doi:10.1145/2931021.2931023 dblp:conf/pldi/DoEB16 fatcat:kc4rtbuvkrephfsurjgada55re

An Effective Methodology with Automated Product Configuration for Software Product Line Development

Scott Uk-Jin Lee
2015 Mathematical Problems in Engineering  
This paper presents a time and cost effective methodology with associated tool supports to design a SPL model, analyse features, and configure a valid product.  ...  In software product line (SPL), a family of software is specified with a set of core assets representing reusable features with their variability, dependencies, and constraints.  ...  Acknowledgment This work was supported by the research fund of Hanyang University (HY-2011-N).  ... 
doi:10.1155/2015/435316 fatcat:7agz4t7r2ndwrc4otgqi24wp6m
« Previous Showing results 1 — 15 out of 188,486 results