117 Hits in 6.0 sec

A framework to support requirements analysis in engineering design

William Brace, Vincent Cheutet
2011 Journal of engineering design  
The SysML diagrams used in this analysis are the Use Case and Internal Block Diagrams.  ...  For that reason, first the criteria are connected Figure 16 . 16 SysML Requirements diagram of mobile work machine Figure 17 . 17 SysML activity diagram, internal block diagram, and use case diagram  ... 
doi:10.1080/09544828.2011.636735 fatcat:fq7vn6xwdzfalejog42ksbhp2e

Comparing Comprehensibility of Modelling Languages for Specifying Behavioural Requirements

Grischa Liebel, Matthias Tichy
2015 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
A controlled experiment with 22 student from an undergraduate course on software modelling was performed.  ...  These initial results indicate that choosing a modelling language for requirements modelling based on convenience does not significantly affect the understanding of the resulting requirements.  ...  The research leading to these results has received partial funding from the European Union's Seventh Framework Program (FP7/2007-2013) for CRYSTAL-Critical System Engineering Acceleration Joint Undertaking  ... 
dblp:conf/models/LiebelT15 fatcat:yxj2f4mpinc45bcfkvva7sbwlq

Systems Modeling Languages: OPM Versus SysML

Yariv Grobshtein, Valeriya Perelman, Eliyahu Safra, Dov Dori
2007 2007 International Conference on Systems Engineering and Modeling  
Our study shows that SysML tends to be more appropriate in cases where a detailed picture is required.  ...  As systems are becoming ever larger and more complex, and as more stakeholders, typically from different disciplines, are involved throughout the system lifecycle, the challenge of overcoming the complexity  ...  One possible extension of the current research is experimenting with the two languages by using them for modeling systems in different domains and discovering whether, to what extent, and in what ways  ... 
doi:10.1109/icsem.2007.373339 dblp:conf/icsem/GrobshteinPSD07 fatcat:xo2dwt4s7vdrtim75og4ztnbfm

Challenges of Software Requirements Quality Assurance and Validation: A Systematic Literature Review

Issa Atoum, Mahmoud Baklizi, Izzat Alsmadi, Ahmed Ali Otoom, Taha Alhersh, Jafar Ababneh, Jameel Almalki, Saeed Alshahrani
2021 IEEE Access  
Additionally, the requirements specified in other diagrammatic notations, such as use cases [S15], sequence diagrams [S21], and behavior interaction diagrams [S08] , are difficult to comprehend by nontechnical  ...  The formal model approach becomes valuable when used in models that can easily comprehend user diagrams [S38].  ... 
doi:10.1109/access.2021.3117989 fatcat:v37iv77twbbdxlxkz5boebtpcm

Enhanced Requirements-Based Programming for Embedded Systems Design

Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen
2006 Model-Based Development of Embedded Systems  
Acknowledgements The authors would like to acknowledge Romualdo Begale Prudêncio and Diego Fernando Jiménez Oróstegui for their valuable contribution to the design and implementation of the case studies  ...  reported on this paper.  ...  Comparison of the two values and the result are encapsulated by if meta-class. The resulting action becomes to be the body. Finally, the deactivation of the control unit is a critical action.  ... 
dblp:conf/mbees/HincheyMRRS06 fatcat:gvsbspv3ybg4lp55dverlyeyam

What have we learnt from the challenges of (semi‐) automated requirements traceability? A discussion on blockchain applicability

Selina Demi, Mary Sanchez‐Gordon, Ricardo Colomo‐Palacios
2021 IET Software  
Over the last 3 decades, researchers have attempted to shed light into the requirements traceability problem by introducing tracing tools, techniques, and methods with the vision of achieving ubiquitous  ...  This study aims to identify and investigate the main challenges in implementing (semi-)automated requirements traceability, as reported in the recent literature.  ...  The feedback from these rounds was used to uncover problems in the initial version of the protocol and to improve its effectiveness.  ... 
doi:10.1049/sfw2.12035 fatcat:ggxtmfoqn5hltp6fhx55pw22ea

A conceptual framework for the modelling and simulation of social systems

Gabriel Awad, Hernán Darío ÁLVAREZ ZAPATA
2020 Dyna  
Additionally, this article explains how the principles and rules of SysML can be applied to the analysis of social systems.  ...  (DEVS) formalism and OMG Systems Modelling Language (SysML) diagrams.  ...  The initial justification and interpretation comprise the purposes of the M&S, they then can be graphically represented using the SysML requirement diagrams and use case diagrams.  ... 
doi:10.15446/dyna.v87n212.83266 fatcat:5c5rgks3qbgkvaefxiul26dhgy

A survey of traceability in requirements engineering and model-driven development

Stefan Winkler, Jens von Pilgrim
2009 Journal of Software and Systems Modeling  
view of traceability in the requirements engineering domain on the other hand.  ...  Traceability-the ability to follow the life of software artifacts-is a topic of great interest to software developers in general, and to requirements engineers and model-driven developers in particular  ...  The results of a lexical analysis can then be used to identify taxonomies of key terms in textual requirement documents.  ... 
doi:10.1007/s10270-009-0145-0 fatcat:lpspfa6bibcajh3idr5pa653m4

Transcendental Logic-Based Formalism for Semantic Representation of Software Project Requirements Architecture

Oleg V. Moroz, Oleksii O. Pysarchuk, Tetiana I. Konrad
2022 Computer and Information Science  
The article provides a comprehensive overview of the main reasons for the lack of the expected effect from the implementation of Agile and suggests a way to solve this problem based on the use of a self-organizing  ...  Based on the heuristic usage of transcendental logic in the terms of "ontological predicates", such a model makes it possible to create a formalism of the semantic representation of the requirements  ...  Relation of effectiveness Sets the ability to generate control instructions, the desire to be first, to make others dependent on yourself or others.  ... 
doi:10.5539/cis.v15n2p15 fatcat:udq5u4tul5cxfkc3xiuv4alm5a

A Cyber-Physical System-based Approach for Industrial Automation Systems [article]

Kleanthis Thramboulidis
2014 arXiv   pre-print
A framework is described to refine the UML model of the software part, which is extracted from the SysML system model, and get the implementation code.  ...  Two implementation alternatives are considered to exploit PLCs but also the recent deluge of embedded boards in the market.  ...  ACKNOWLEDGMENTS Part of this work has been funded by Bayerische Forschungsstiftung in the context of an international collaboration.  ... 
arXiv:1407.2077v1 fatcat:5y2tbb34o5fkreji4ryr4iru3e

Design of a Customizable Test Bench of an Electric Vehicle Powertrain for Learning Purposes Using Model-Based System Engineering

Hicham El Hadraoui, Mourad Zegrari, Fatima-Ezzahra Hammouch, Nasr Guennouni, Oussama Laayati, Ahmed Chebak
2022 Sustainability  
The aforementioned approach is used on our case study to build and present an operational viewpoint layout of the control, energy management, diagnostic, and prognostic test bench as part of the system's  ...  initial phase of designing the system; the test bench layout proposed in this paper represents a flexible, low-cost, multidisciplinary downsized laboratory providing basic experiments related to e-mobility  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/su141710923 fatcat:cppcqg2p2fcd7fpq5ryqkmy7lu

Incorporating automation: using modeling and simulation to enable task re-allocation

Tyler J. Goodman, Michael E. Miller, Christina F. Rusnock
2015 2015 Winter Simulation Conference (WSC)  
Although a first order model could be created by removing workload associated with tasks that are allocated away from the human and to the computer, we discuss the need to improve the activity diagrams  ...  Specifically, SysML activity diagrams and IMPRINT workload models are developed for a tablet-based game with the ability to incorporate automation.  ...  ACKNOWLEDGMENTS The views in this article are those of the authors and do not necessarily reflect the official policy or position of the Department of the Air Force, Department of Defense, nor the U.S.  ... 
doi:10.1109/wsc.2015.7408350 dblp:conf/wsc/GoodmanMR15 fatcat:hwfmonumrvam3cgv5xgk74kmom

When quantitative meets qualitative: enhancing OPM conceptual systems modeling with MATLAB computational capabilities

Dov Dori, Aharon Renick, Niva Wengrowicz
2015 Research in Engineering Design  
Experimenting with students on a model of an online shopping system with and without AUTOMATLAB has indicated important benefits of employing this computation layer on top of the native conceptual OPM  ...  The first approach, AUTOMATLAB, expands the OPM model to a full-fledged MATLAB-based simulation.  ...  UML and SysML require using at least a subset of the 14 (in UML) or nine (SysML) diagram kinds to represent the system.  ... 
doi:10.1007/s00163-015-0209-9 fatcat:j7clokmvvjaw3kei6obfr5ydme

Clafer: Lightweight Modeling of Structure, Behaviour, and Variability

Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
2018 The Art, Science, and Engineering of Programming  
and perils of using a single notation for the purpose.  ...  Embedded software is growing fast in size and complexity, leading to intimate mixture of complex architectures and complex control.  ...  Acknowledgements We thank Derek Rayside and Nancy Day for their valuable feedback on the material and earlier versions of the paper.  ... 
doi:10.22152/ fatcat:twzmlwq4czgnblyizu5ktoz6h4

Comprehensibility of orthogonal variability modeling languages

Iris Reinhartz-Berger, Kathrin Figl
2014 Proceedings of the 18th International Software Product Line Conference on - SPLC '14  
Lately, orthogonal variability models attract a lot of attention due to the fact that they do not require changing the complexity of the development artifacts and can be used in conjunction with different  ...  As the complexity and variety of systems and software products have increased, the ability to manage their variability effectively and efficiently became crucial.  ...  ACKNOWLEDGMENTS The authors would like to thank Prof. Øystein Haugen, Vanessa Stricker, and Prof. Klaus Pohl for reviewing and commenting on the experiment's models and materials.  ... 
doi:10.1145/2648511.2648516 dblp:conf/splc/Reinhartz-BergerF14 fatcat:63vnhryitzdqzgpcfksmsd375m
« Previous Showing results 1 — 15 out of 117 results