Search Results - "SysML (Computer science)"

A Novel Approach to Tracing Safety Requirements and State-Based Design Models.

Authors: Alenazi, Mounifah Niu, Nan Savolainen, Juha

Source: ICSE: International Conference on Software Engineering; 6/17/2020, p848-880, 13p

State‐of‐practice survey of model‐based systems engineering.

Authors: Huldt, T. Stenius, I.

Source: Systems Engineering. Mar2019, Vol. 22 Issue 2, p134-145. 12p.

Subjects: Systems engineering, SysML (Computer science), Unified modeling language, Analytic hierarchy process, Organizational structure, Information superhighway, Engineers

An Extension of the Systems Modeling Language for Physical Interaction and Signal Flow Simulation.

Authors: Bock, Conrad Barbau, Raphael Matei, Ion et al.

Source: Systems Engineering. Sep2017, Vol. 20 Issue 5, p395-431. 37p.

Subjects: SysML (Computer science), Programming languages, Computer simulation, Computer systems, Computer-aided engineering

Model-based requirements specification of real-time systems with UML, SysML and MARTE.

Authors: Ribeiro, Fabíola Gonçalves C. Pereira, Carlos E. Rettberg, Achim et al.

Source: Software & Systems Modeling. Feb2018, Vol. 17 Issue 1, p343-361. 19p.

Subjects: Real-time control, SysML (Computer science), Temporal databases, Software engineering, Database management

On the formal interpretation and behavioural consistency checking of SysML blocks.

Authors: Jacobs, Jaco Simpson, Andrew

Source: Software & Systems Modeling. Oct2017, Vol. 16 Issue 4, p1145-1178. 34p.

Subjects: SysML (Computer science), Computer software development, Software productivity, Software engineering, Electronic data processing, Information science

An integrated semantics for reasoning about SysML design models using refinement.

Authors: Lima, Lucas Miyazawa, Alvaro Cavalcanti, Ana et al.

Source: Software & Systems Modeling. Jul2017, Vol. 16 Issue 3, p875-902. 28p.

Subjects: SysML (Computer science), Computer-aided design, Systems design, Reasoning, Semantics, Unified modeling language, Automation, Computer network resources

Contract-based modeling and verification of timed safety requirements within SysML.

Authors: Dragomir, Iulia Ober, Iulian Percebois, Christian

Source: Software & Systems Modeling. May2017, Vol. 16 Issue 2, p587-624. 38p.

Subjects: SysML (Computer science), Requirements engineering, Real-time computing, Systems design, Mathematical proofs

SoSyM reflections of 2017: a journal status report.

Authors: Georg, Geri Gray, Jeff Rumpe, Bernhard et al.

Source: Software & Systems Modeling; Feb2018, Vol. 17 Issue 1, p1-4, 4p

Toward a well-founded theory for multi-level conceptual modeling.

Authors: Carvalho, Victorio A. Almeida, João Paulo A.

Source: Software & Systems Modeling; Feb2018, Vol. 17 Issue 1, p205-231, 27p

A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components.

Authors: Di Natale, Marco Perillo, David Chirico, Francesco et al.

Source: Software & Systems Modeling; Feb2018, Vol. 17 Issue 1, p11-33, 23p

An Automated Test Case Generation Approach based on Activity Diagrams of SysML.

Authors: Yufei Yin Yiqun Xu Weikai Miao et al.

Source: International Journal of Performability Engineering; Oct2017, Vol. 13 Issue 6, p922-936, 15p

Case Study On SYSML and VHDL-AMS for Designing and Validating Systems.

Authors: Verries, J. Sahraoui, A.

Source: Proceedings of the World Congress on Engineering & Computer Science 2013 Volume I. 2013, p1-6. 6p.

Subjects: SysML (Computer science), VHDL (Computer hardware description language), Computer science, Computer software development, Systems engineering

Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models †.

Authors: Anda, Amal Ahmed Amyot, Daniel Mylopoulos, John

Source: Modelling; Jun2023, Vol. 4 Issue 2, p133-167, 35p

A profile and tool for modelling safety information with design information in SysML.

Authors: Biggs, Geoffrey Sakamoto, Takeshi Kotoku, Tetsuo

Source: Software & Systems Modeling. Feb2016, Vol. 15 Issue 1, p147-178. 32p.

Subjects: Information storage & retrieval systems, SysML (Computer science), Computer simulation, Fault tolerance (Engineering), Unified modeling language, Systems design

SysML approach for the integration of mechatronics system within PLM systems.

Authors: Abid, Houssem Pernelle, Philippe Noterman, Didier et al.

Source: International Journal of Computer Integrated Manufacturing. Sep2015, Vol. 28 Issue 9, p972-987. 16p. 2 Black and White Photographs, 12 Diagrams.

Subjects: SysML (Computer science), Mechatronics, Product life cycle, Data integrity, Unified modeling language

SysML for Modeling Co-simulation Orchestration over FMI: the INTO-CPS Approach.

Authors: Bagnato, Alessandra Brosse, Etienne Quadri, Imran et al.

Source: Ada User Journal. Dec2016, Vol. 37 Issue 4, p215-218. 4p.

A Modelling Method for Describing and Facilitating the Reuse of SysML Models during Design Process.

Authors: Mahboob, A. Husung, S.

Source: Proceedings of the Design Society; May2022, Vol. 2, p1925-1934, 10p

Towards the Integration of SysML and Problem Frames.

Authors: Colombo, Pietro del Bianco, Vieri Lavazza, Luigi

Source: ICSE: International Conference on Software Engineering; 2008, p1-7, 7p, 26 Diagrams, 3 Charts

Experiences and Advancements from One Year of Explorative Application of an Integrated Model- Based Development Technique Using C&C²- A in SysML.

Authors: Zingel, C. Albers, A. Matthiesen, S. et al.

Source: IAENG International Journal of Computer Science. 2012, Vol. 39 Issue 2, p165-181. 17p.

Subjects: SysML (Computer science), Uncertainty, Complexity (Philosophy), Mathematical models, Latent semantic analysis, Computer software development

Method for Deriving Functional Architectures from Use Cases.

Authors: Lamm, Jesko G. Weilkiens, Tim

Source: Systems Engineering. Jun2014, Vol. 17 Issue 2, p225-236. 12p.

Subjects: Use cases (Systems engineering), SysML (Computer science), Modeling languages (Computer science), Failure Analysis System (Computer system), Phonograph