A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
An Ontology-Based Approach to Automated Test Case Generation
2021
SN Computer Science
Preserved Fulltext
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
2011
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2020
Proceedings of the 6th International Conference on Information Systems Security and Privacy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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)
2011
Journal of Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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
2021
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2015
Theoretical Issues in Ergonomics Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
Defense Acquisition Research Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2021
Proceedings of the Annual Conference of the Prognostics and Health Management Society, PHM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
1991
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2016
Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2015
Mathematical Problems in Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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