Journal of Software Engineering and Applications

Journal of Software Engineering and Applications

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.org/journal/jsea
E-mail: jsea@scirp.org
"The 3+1 SysML View-Model in Model Integrated Mechatronics"
written by Kleanthis Thramboulidis,
published by Journal of Software Engineering and Applications, Vol.3 No.2, 2010
has been cited by the following article(s):
  • Google Scholar
  • CrossRef
[1] Boosting Extra-Functional Code Reusability in Cyber-Physical Production Systems: The Error Handling Case Study
Heuser, J Fischer, D Hess… - … on Emerging Topics …, 2022
[2] A Communication Architecture to Observe and Partially Preserve Efficiency in Automated Production Systems
Heuser, YM Hsieh… - 2022 IEEE 18th …, 2022
[3] A Model-Based Approach to Automated Validation and Generation of PLC Code for Manufacturing Equipment in Regulated Environments
Applied Sciences, 2022
[4] Towards facilitating software engineering for production systems in Industry 4.0 with behavior models
Proceedings of the ACM/IEEE 44th International …, 2022
[5] Towards automatic generation of functionality semantics to improve PLC software modularization
at …, 2022
[6] Transformation from System Design Models in SysML to Executable IEC 61499 Function Block Models
2021 6th International …, 2021
[7] Formal Specification and Verification for Automated Production Systems
2021
[8] Conception collaborative et aide à la décision pour les systèmes mécatroniques: Établissement d'un cadre formel.
2021
[9] MICOSE4aPS: Industrially Applicable Maturity Metric to Improve Systematic Reuse of Control Software
Heuser, EM Neumann, J Fischer - ACM Transactions on …, 2021
[10] Reuse Assessment of IEC 61131-3 Control Software Modules Using Metrics–An Industrial Case Study
Heuser, C Huber… - 2021 IEEE 19th …, 2021
[11] Managing variability and reuse of extra-functional control software in CPPS
Heuser, J Fischer, D Hess… - … , Automation & Test …, 2021
[12] Table‐based formal specification approaches for control engineers—empirical studies of usability
2021
[13] Success Factors for the Design of Field-level Control Code in Machine and Plant Manufacturing-an Industrial Survey
2021
[14] Model-Driven Design and Development of Flexible Automated Production Control Configurations for Industry 4.0
2021
[15] An Automated Approach for Execution Sequence-Driven Software and Physical Co-Design of Mechatronic Systems Based on Hybrid Functional Ontology
2021
[16] Identifying Runtime Issues in Object-Oriented IEC 61131-3-Compliant Control Software using Metrics
2020
[17] Software Systems Engineering for Cyber Physical Production Systems
2020
[18] Methodik zur Synchronisierung der Modelle des Digitalen Zwillings automatisierter Systeme
2020
[19] Variability Visualization of IEC 61131-3 Legacy Software for Planned Reuse
2020
[20] Analysis of metamodels for model‐based production automation system engineering
IET Collaborative Intelligent …, 2020
[21] Enhancing digital twin performance through simulation of computerized numerical control firmware
2020
[22] A classification framework for automated control code generation in industrial automation
2020
[23] Towards Model Synchronization for Consistency Management of Mechatronic Systems
2020
[24] Software-physical synergetic design methodology of mechatronic systems based on formal functional models
2020
[25] Handover Abilities in Reconfigurable Material Flow Systems for Topology Computing
2020
[26] An Architecture-based Approach for Change Impact Analysis of Software-intensive Systems
2020
[27] Analysis of metamodels for model-based production automation system engineering
2020
[28] Goal-Lever-Indicator-Principle to Derive Recommendations for Improving IEC 61131-3 Control Software
2020
[29] A model-based approach for design and verification of Industrial Internet of Things
2019
[30] Automated generation of control logic from system design based on SysML and the IEC 61499 Function Block
2019
[31] Test case generation for production systems with model-implemented fault injection consideration
2019
[32] Application of a multi-disciplinary design approach in a mechatronic engineering toolchain
2019
[33] Use of a Pivot Diagram in SysML to Support an Automated Implementation of a MBSE Design Methodology in an Industry 4.0 Context
2019
[34] Diagnosis and Handling of Inconsistencies in Heterogeneous Models of Automated Production Systems
2019
[35] Visualization of Variability Analysis of Control Software From Industrial Automation Systems
2019
[36] Introduction and Evaluation of Complexity Metrics for Network-based, Graphical IEC 61131-3 Programming Languages
2019
[37] Towards Model Synchronization in Model Driven Engineering of Mechatronic Systems
2019
[38] Maintainability and evolvability of control software in machine and plant manufacturing—An industrial survey
Control Engineering Practice, 2018
[39] Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU
at - Automatisierungstechnik, 2018
[40] A model-based framework for increasing the interdisciplinary design of mechatronic production systems
Journal of Engineering Design, 2018
[41] Architecture-based change impact analysis in cross-disciplinary automated production systems
Journal of Systems and Software, 2018
[42] Modelling Logical Architecture of Mechatronic Systems and Its Quality Control
Automotive Systems Engineering II, 2018
[43] Model-based development of a multi-agent system for controlling material flow systems
at - Automatisierungstechnik, 2018
[44] Model-based training of manual procedures in automated production systems
Mechatronics, 2018
[45] Reassessing Android malware analysis: From apps to IoT system modelling
2018
[46] Modularity and Architecture of PLC-based Software for Automated Production Systems: An analysis in industrial companies
Journal of Systems and Software, 2017
[47] Using design languages in model-based mechatronic system design processes
International Journal of Agile Systems and Management, 2017
[48] Modeling as the basis for innovation cycle management of PSS: Making use of interdisciplinary models
2017
[49] A framework for mde of iot-based manufacturing cyber-physical systems
IoT 2017 Proceedings of the Seventh International Conference on the Internet of Things, 2017
[50] Graphical modeling of networked architectures and real-time-requirements for the analysis of networked automation systems
2016
[51] Multi-scale approach from mechatronic to Cyber-Physical Systems for the design of manufacturing systems
Computers in Industry, 2016
[52] Towards IoT cybersecurity modeling: From malware analysis data to IoT system representation
2016
[53] UML4IoT—A UML-based approach to exploit IoT in cyber-physical manufacturing systems
Computers in Industry, 2016
[54] IoT-based integration of IEC 61131 industrial automation systems: The case of UML4IoT
2016
[55] Comments on Improving Transferability Between Different Engineering Stages in the Development of Automated Material Flow Modules
2016
[56] Test methodology for virtual commissioning based on behaviour simulation of production systems
2016
[57] Cyber-physical manufacturing system Development: A test-driven design method and exploratory case study
2016
[58] An assessment of the potentials and challenges in future approaches for automation software
Industrial Agents, 2015
[59] Integrierte modellbasierte Entwicklung mechatronischer Systeme im Maschinen- und Anlagenbau
2015
[60] Lebenszyklusorientierte modellbasierte Entwicklung
2015
[61] Enhancing a model-based engineering approach for distributed manufacturing automation systems with characteristics and design patterns
Journal of Systems and Software, 2015
[62] Evolution of software in automated production systems: Challenges and research directions
Journal of Systems and Software, 2015
[63] Architecture-based Assessment and Planning of Software Changes in Information and Automated Production Systems
2015
[64] UML4IoT-A UML profile to exploit IoT in cyber-physical manufacturing systems
arXiv preprint arXiv:1512.04894, 2015
[65] Research on accident process meta-modeling based on SysML
Reliability Systems Engineering (ICRSE), 2015 First International Conference on, 2015
[66] Architecture-Based Assessment and Planning of Software Changes in Information and Automated Production Systems State of the Art and Open Issues
Systems, Man, and Cybernetics (SMC), 2015 IEEE International Conference on, 2015
[67] Challenges for maintenance of PLC-software and its related hardware for automated production systems: Selected industrial Case Studies
Software Maintenance and Evolution (ICSME), 2015 IEEE International Conference on, 2015
[68] Industrial Agents: Emerging Applications of Software Agents in Industry
2015
[69] Challenges for Software Engineering in Automation
Journal of Software Engineering and Applications, 2014
[70] 3+ 1 SysML-view Model
2014
[71] Usability Experiments to Evaluate UML/SysML-Based Model Driven Software Engineering Notations for Logic Control in Manufacturing Automation
Journal of Software Engineering and Applications, 2014
[72] A Cyber-Physical System-based Approach for Industrial Automation Systems
arXiv preprint arXiv:1407.2077, 2014
[73] Prozessgrundlagen
Innovationsprozesse zyklenorientiert managen. Springer Berlin Heidelberg, 2014
[74] Resource monitoring in industrial manufacturing using knowledge-based technologies
Dissertation, 2014
[75] Reference Framework for the Engineering of Cyber–Physical Systems: A first Approach
2014
[76] A Compositional Approach to Control Software Design of Automation Systems Based on Mechatronic Modularity
2014
[77] Automatic generation of field control strategies for supporting (re-) engineering of manufacturing systems
Journal of Intelligent Manufacturing, 2014
[78] An integrated approach to analyze change-situations in the development of production systems
Procedia CIRP, 2014
[79] Integrating viewpoints in the development of mechatronic products
Mechatronics, 2014
[80] A Model Driven Approach on Object Oriented PLC Programming for Manufacturing Systems with Regard to Usability
Industrial Informatics, IEEE Transactions on(Volume:PP,Issue: 99) , 2014
[81] Model-driven engineering of Manufacturing Automation Software Projects–A SysML-based approach
Mechatronics, 2014
[82] An ontology-based approach for decentralized monitoring and diagnostics
Industrial Informatics (INDIN), 2014 12th IEEE International Conference on. IEEE, 2014
[83] Integrated modeling of complex production automation systems to increase dependability
Risk-A Multidisciplinary Introduction, 2014
[84] On the use of model-based techniques for achieving multi-mode control architectures
Mechatronics, 2014
[85] Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance
at-Automatisierungstechnik, 2014
[86] Comments on "A model-based design methodology for the development of mechatronic systems"
arXiv preprint arXiv:1406.4641, 2014
[87] Extension of Electronic Device Description Language for analysing change impacts in modular automation in manufacturing plants
Journal of Engineering Design, 2014
[88] A Framework for the Implementation of Industrial Automation Systems Based on PLCs
arXiv preprint arXiv:1402.3920, 2014
[89] An Open Distributed Architecture for Flexible Hybrid Assembly Systems: A Model Driven Engineering Approach
arXiv preprint arXiv:1411.1307, 2014
[90] MDE of manufacturing automation software — Integrating SysML and standard development tools
Industrial Informatics (INDIN), 2014 12th IEEE International Conference on. IEEE, 2014
[91] Increasing agility in engineering and runtime of automated manufacturing systems
Industrial Technology (ICIT), 2013 IEEE International Conference on. IEEE, 2013
[92] Model-based customisation of intelligent mechatronic systems using SysML
Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on. IEEE, 2013
[93] Design patterns for model-based automation software design and implementation
Control Engineering Practice, 2013
[94] Concept for an integration-framework to enable the crossdisciplinary development of product-service systems
Industrial Engineering and Engineering Management (IEEM), 2013 IEEE International Conference on. IEEE, 2013
[95] Overcoming Mechatronic Design Challenges: the 3+ 1 SysML-view Model
Comput Sci Technol Int J, 2013
[96] An industrial evaluation of SysML: The case of a nuclear automation modernization project
Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on. IEEE, 2013
[97] Erweiterung des V-Modells? für den Entwurf von verteilten Automatisierungssystemen
at-Automatisierungstechnik Methoden und Anwendungen der Steuerungs-, Regelungs-und Informationstechnik, 2013
[98] Knowledge-based technologies for future factory engineering and control
Service Orientation in Holonic and Multi Agent Manufacturing and Robotics. Springer Berlin Heidelberg, 2013
[99] An interdisciplinary SysML based modeling approach for analyzing change influences in production plants to support the engineering
Automation Science and Engineering (CASE), 2013 IEEE International Conference on. IEEE, 2013
[100] Integration of model-based engineering with system safety analysis
International Journal of Industrial and Systems Engineering, 2013
[101] Swarm-based evaluation of nonparametric SysML mechatronics system design
Mechatronics (ICM), 2013 IEEE International Conference on. IEEE, 2013
[102] A survey of safety-oriented model-driven and formal development approaches
International Journal of Critical Computer-Based Systems, 2013
[103] Model-Driven Engineering and Semantic Technologies for the Design of Cyber-Physical Systems
IFAC Proceedings Volumes, 2013
[104] On modelling the state-space of manufacturing systems using UML
IFAC Proceedings Volumes, 2012
[105] Applying formal software engineering techniques to smart grids
2012
[106] Using contact points to integrate discipline spanning real-time requirements in modeling Networked Automation Systems for manufacturing systems
Automation Science and Engineering (CASE), 2012 IEEE International Conference on. IEEE, 2012
[107] Model-based validation of industrial control systems
IEEE Transactions on Industrial Informatics, 2012
[108] Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications
Annual Reviews in Control, 2012
[109] Function Block Diagram to UPPAAL Timed Automata Transformation Based on Formal Models
Information Control Problems in Manufacturing, 2012
[110] A Nonparametric Evaluation of SysML-based Mechatronic Conceptual Design
Proceedings of the Benelux Conference on Artificial Intelligence (BNAIC), Maastricht, The Netherlands, 2012
[111] An approach to model-driven architecture applied to hybrid systems
International Conference on Space Operations (SpaceOps), Stockholm, Sweden, 2012
[112] Fault-centric system modeling using SysML for reliability testing
Emerging Technologies & Factory Automation (ETFA), 2012 IEEE 17th Conference on. IEEE, 2012
[113] Finite State-Machine Verification Applied to Hybrid Systems
2012
[114] Overcoming current mechatronic design challenges
A Qamar, J Wikander, C During - diva-portal.org, 2012
[115] Towards an automated verification process for industrial safety applications
Automation Science and Engineering (CASE), 2011 IEEE Conference on. IEEE, 2011
[116] Towards a model-driven IEC 61131-based development process in industrial automation
Journal of Software Engineering and Applications, 2011
[117] Interdisciplinary system model for agent-supported mechatronic design
DS 68-4: Proceedings of the 18th International Conference on Engineering Design (ICED 11), Impacting Society through Engineering Design, Vol. 4: Product and Systems Design, Lyngby/Copenhagen, Denmark, 15.-19.08. 2011, 2011
[118] FROM REQUIREMENTS TO DESIGN SPECIFICATIONS-A FORMAL APPROACH
DS 60: Proceedings of DESIGN 2010, the 11th International Design Conference, Dubrovnik, Croatia, 2010
[119] Integrating the 3+ 1 SysML view model with safety engineering
Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on. IEEE, 2010
[120] 3+ 1 SysML view model for IEC61499 Function Block control systems
Industrial Informatics (INDIN), 2010 8th IEEE International Conference on. IEEE, 2010
[121] Analysis and Validation of IEC 61131-3 Applications using a MDE Approach
Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on. IEEE, 2010
[122] 3+ 1 SysML-View Model for Mechatronic Systems Development
K Thramboulidis, 2010
Free SCIRP Newsletters
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top