The 3+1 SysML View-Model in Model Integrated Mechatronics

Journals Menu

Follow SCIRP

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Journal of Software Engineering and Applications

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.org/journal/jsea
E-mail: jsea@scirp.org

Google-based Impact Factor: 2
Citations

Journals Menu

"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]	Strategies for Software and Hardware Compatibility Testing in Industrial Controllers
	Processes, 2024

[2]	Category theory-based collaborative design methodology for mechatronic systems
	Advanced Engineering …, 2023

[3]	A hybrid approach to system verification in early design for complex mechatronic systems based on formal functional semantics
	Advanced Engineering Informatics, 2023

[4]	Approach of a Ticket-Based Test Strategy for Industry 4.0 Components with Asset Administration Shells
	… on Innovative Intelligent …, 2023

[5]	Architecture-based Evolution of Dependable Software-intensive Systems
	2023

[6]	A New Architecture Based Approach for Improving Software Performance
	NeuroQuantology, 2022

[7]	Fostering Model Consistency in Interdisciplinary Engineering by Linking SysML and CAD-Models
	2022 IEEE …, 2022

[8]	A multi-dimensional extensible cloud-native service stack for enterprises
	Journal of Cloud Computing, 2022

[9]	Maturity levels for automation software engineering in automated production systems
	Heuser, EM Neumann… - 2022 IEEE 20th …, 2022

[10]	A Communication Architecture to Observe and Partially Preserve Efficiency in Automated Production Systems
	Heuser, YM Hsieh… - 2022 IEEE 18th …, 2022

[11]	A Model-Based Approach to Automated Validation and Generation of PLC Code for Manufacturing Equipment in Regulated Environments
	Applied Sciences, 2022

[12]	Towards facilitating software engineering for production systems in Industry 4.0 with behavior models
	Proceedings of the ACM/IEEE 44th International …, 2022

[13]	Towards automatic generation of functionality semantics to improve PLC software modularization
	at …, 2022

[14]	Boosting Extra-Functional Code Reusability in Cyber-Physical Production Systems: The Error Handling Case Study
	Heuser, J Fischer, D Hess… - … on Emerging Topics …, 2022

[15]	Managing variability and reuse of extra-functional control software in CPPS
	Heuser, J Fischer, D Hess… - … , Automation & Test …, 2021

[16]	Table‐based formal specification approaches for control engineers—empirical studies of usability
	2021

[17]	Success Factors for the Design of Field-level Control Code in Machine and Plant Manufacturing-an Industrial Survey
	2021

[18]	Model-Driven Design and Development of Flexible Automated Production Control Configurations for Industry 4.0
	2021

[19]	An Automated Approach for Execution Sequence-Driven Software and Physical Co-Design of Mechatronic Systems Based on Hybrid Functional Ontology
	2021

[20]	Transformation from System Design Models in SysML to Executable IEC 61499 Function Block Models
	2021 6th International …, 2021

[21]	Formal Specification and Verification for Automated Production Systems
	2021

[22]	Conception collaborative et aide à la décision pour les systèmes mécatroniques: Établissement d'un cadre formel.
	2021

[23]	MICOSE4aPS: Industrially Applicable Maturity Metric to Improve Systematic Reuse of Control Software
	Heuser, EM Neumann, J Fischer - ACM Transactions on …, 2021

[24]	Reuse Assessment of IEC 61131-3 Control Software Modules Using Metrics–An Industrial Case Study
	Heuser, C Huber… - 2021 IEEE 19th …, 2021

[25]	DISEÑO Y CONSTRUCCIÓN DE UN SISTEMA DE COMPACTACIÓN PARA ENVASES TETRA PAK TIPO TETRA BRIK
	… , СИСТЕМНЫЙ АНАЛИЗ И …, 2021

[26]	Identifying Runtime Issues in Object-Oriented IEC 61131-3-Compliant Control Software using Metrics
	2020

[27]	Software Systems Engineering for Cyber Physical Production Systems
	2020

[28]	Methodik zur Synchronisierung der Modelle des Digitalen Zwillings automatisierter Systeme
	2020

[29]	Variability Visualization of IEC 61131-3 Legacy Software for Planned Reuse
	2020

[30]	Analysis of metamodels for model‐based production automation system engineering
	IET Collaborative Intelligent …, 2020

[31]	Enhancing digital twin performance through simulation of computerized numerical control firmware
	2020

[32]	A classification framework for automated control code generation in industrial automation
	2020

[33]	Towards Model Synchronization for Consistency Management of Mechatronic Systems
	2020

[34]	Software-physical synergetic design methodology of mechatronic systems based on formal functional models
	2020

[35]	Handover Abilities in Reconfigurable Material Flow Systems for Topology Computing
	2020

[36]	An Architecture-based Approach for Change Impact Analysis of Software-intensive Systems
	2020

[37]	Analysis of metamodels for model-based production automation system engineering
	2020

[38]	Goal-Lever-Indicator-Principle to Derive Recommendations for Improving IEC 61131-3 Control Software
	2020

[39]	A model-based approach for design and verification of Industrial Internet of Things
	2019

[40]	Automated generation of control logic from system design based on SysML and the IEC 61499 Function Block
	2019

[41]	Test case generation for production systems with model-implemented fault injection consideration
	2019

[42]	Application of a multi-disciplinary design approach in a mechatronic engineering toolchain
	2019

[43]	Use of a Pivot Diagram in SysML to Support an Automated Implementation of a MBSE Design Methodology in an Industry 4.0 Context
	2019

[44]	Diagnosis and Handling of Inconsistencies in Heterogeneous Models of Automated Production Systems
	2019

[45]	Visualization of Variability Analysis of Control Software From Industrial Automation Systems
	2019

[46]	Introduction and Evaluation of Complexity Metrics for Network-based, Graphical IEC 61131-3 Programming Languages
	2019

[47]	Towards Model Synchronization in Model Driven Engineering of Mechatronic Systems
	2019

[48]	基于 SysML 的复杂机电系统设计模型形式化扩展与验证
	计算机辅助设计与图形学学报, 2019

[49]	Maintainability and evolvability of control software in machine and plant manufacturing—An industrial survey
	Control Engineering Practice, 2018

[50]	Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU
	at - Automatisierungstechnik, 2018

[51]	A model-based framework for increasing the interdisciplinary design of mechatronic production systems
	Journal of Engineering Design, 2018

[52]	Architecture-based change impact analysis in cross-disciplinary automated production systems
	Journal of Systems and Software, 2018

[53]	Modelling Logical Architecture of Mechatronic Systems and Its Quality Control
	Automotive Systems Engineering II, 2018

[54]	Model-based development of a multi-agent system for controlling material flow systems
	at - Automatisierungstechnik, 2018

[55]	Model-based training of manual procedures in automated production systems
	Mechatronics, 2018

[56]	Reassessing Android malware analysis: From apps to IoT system modelling
	2018

[57]	Modularity and Architecture of PLC-based Software for Automated Production Systems: An analysis in industrial companies
	Journal of Systems and Software, 2017

[58]	Using design languages in model-based mechatronic system design processes
	International Journal of Agile Systems and Management, 2017

[59]	Modeling as the basis for innovation cycle management of PSS: Making use of interdisciplinary models
	2017

[60]	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

[61]	Graphical modeling of networked architectures and real-time-requirements for the analysis of networked automation systems
	2016

[62]	Multi-scale approach from mechatronic to Cyber-Physical Systems for the design of manufacturing systems
	Computers in Industry, 2016

[63]	Towards IoT cybersecurity modeling: From malware analysis data to IoT system representation
	2016

[64]	UML4IoT—A UML-based approach to exploit IoT in cyber-physical manufacturing systems
	Computers in Industry, 2016

[65]	IoT-based integration of IEC 61131 industrial automation systems: The case of UML4IoT
	2016

[66]	Comments on Improving Transferability Between Different Engineering Stages in the Development of Automated Material Flow Modules
	2016

[67]	Test methodology for virtual commissioning based on behaviour simulation of production systems
	2016

[68]	Cyber-physical manufacturing system Development: A test-driven design method and exploratory case study
	2016

[69]	An assessment of the potentials and challenges in future approaches for automation software
	Industrial Agents, 2015

[70]	Integrierte modellbasierte Entwicklung mechatronischer Systeme im Maschinen- und Anlagenbau
	2015

[71]	Lebenszyklusorientierte modellbasierte Entwicklung
	2015

[72]	Enhancing a model-based engineering approach for distributed manufacturing automation systems with characteristics and design patterns
	Journal of Systems and Software, 2015

[73]	Evolution of software in automated production systems: Challenges and research directions
	Journal of Systems and Software, 2015

[74]	Architecture-based Assessment and Planning of Software Changes in Information and Automated Production Systems
	2015

[75]	UML4IoT-A UML profile to exploit IoT in cyber-physical manufacturing systems
	arXiv preprint arXiv:1512.04894, 2015

[76]	Research on accident process meta-modeling based on SysML
	Reliability Systems Engineering (ICRSE), 2015 First International Conference on, 2015

[77]	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

[78]	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

[79]	Industrial Agents: Emerging Applications of Software Agents in Industry
	2015

[80]	Challenges for Software Engineering in Automation
	Journal of Software Engineering and Applications, 2014

[81]	3+ 1 SysML-view Model
	2014

[82]	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

[83]	A Cyber-Physical System-based Approach for Industrial Automation Systems
	arXiv preprint arXiv:1407.2077, 2014

[84]	Prozessgrundlagen
	Innovationsprozesse zyklenorientiert managen. Springer Berlin Heidelberg, 2014

[85]	Resource monitoring in industrial manufacturing using knowledge-based technologies
	Dissertation, 2014

[86]	Reference Framework for the Engineering of Cyber–Physical Systems: A first Approach
	2014

[87]	A Compositional Approach to Control Software Design of Automation Systems Based on Mechatronic Modularity
	2014

[88]	Automatic generation of field control strategies for supporting (re-) engineering of manufacturing systems
	Journal of Intelligent Manufacturing, 2014

[89]	An integrated approach to analyze change-situations in the development of production systems
	Procedia CIRP, 2014

[90]	Integrating viewpoints in the development of mechatronic products
	Mechatronics, 2014

[91]	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

[92]	Model-driven engineering of Manufacturing Automation Software Projects–A SysML-based approach
	Mechatronics, 2014

[93]	An ontology-based approach for decentralized monitoring and diagnostics
	Industrial Informatics (INDIN), 2014 12th IEEE International Conference on. IEEE, 2014

[94]	Integrated modeling of complex production automation systems to increase dependability
	Risk-A Multidisciplinary Introduction, 2014

[95]	On the use of model-based techniques for achieving multi-mode control architectures
	Mechatronics, 2014

[96]	Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance
	at-Automatisierungstechnik, 2014

[97]	Comments on "A model-based design methodology for the development of mechatronic systems"
	arXiv preprint arXiv:1406.4641, 2014

[98]	Extension of Electronic Device Description Language for analysing change impacts in modular automation in manufacturing plants
	Journal of Engineering Design, 2014

[99]	A Framework for the Implementation of Industrial Automation Systems Based on PLCs
	arXiv preprint arXiv:1402.3920, 2014

[100]	An Open Distributed Architecture for Flexible Hybrid Assembly Systems: A Model Driven Engineering Approach
	arXiv preprint arXiv:1411.1307, 2014

[101]	MDE of manufacturing automation software — Integrating SysML and standard development tools
	Industrial Informatics (INDIN), 2014 12th IEEE International Conference on. IEEE, 2014

[102]	Increasing agility in engineering and runtime of automated manufacturing systems
	Industrial Technology (ICIT), 2013 IEEE International Conference on. IEEE, 2013

[103]	Model-based customisation of intelligent mechatronic systems using SysML
	Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on. IEEE, 2013

[104]	Design patterns for model-based automation software design and implementation
	Control Engineering Practice, 2013

[105]	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

[106]	Overcoming Mechatronic Design Challenges: the 3+ 1 SysML-view Model
	Comput Sci Technol Int J, 2013

[107]	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

[108]	Erweiterung des V-Modells? für den Entwurf von verteilten Automatisierungssystemen
	at-Automatisierungstechnik Methoden und Anwendungen der Steuerungs-, Regelungs-und Informationstechnik, 2013

[109]	Knowledge-based technologies for future factory engineering and control
	Service Orientation in Holonic and Multi Agent Manufacturing and Robotics. Springer Berlin Heidelberg, 2013

[110]	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

[111]	Integration of model-based engineering with system safety analysis
	International Journal of Industrial and Systems Engineering, 2013

[112]	Swarm-based evaluation of nonparametric SysML mechatronics system design
	Mechatronics (ICM), 2013 IEEE International Conference on. IEEE, 2013

[113]	A survey of safety-oriented model-driven and formal development approaches
	International Journal of Critical Computer-Based Systems, 2013

[114]	Model-Driven Engineering and Semantic Technologies for the Design of Cyber-Physical Systems
	IFAC Proceedings Volumes, 2013

[115]	On modelling the state-space of manufacturing systems using UML
	IFAC Proceedings Volumes, 2012

[116]	Applying formal software engineering techniques to smart grids
	2012

[117]	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

[118]	Model-based validation of industrial control systems
	IEEE Transactions on Industrial Informatics, 2012

[119]	Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications
	Annual Reviews in Control, 2012

[120]	Function Block Diagram to UPPAAL Timed Automata Transformation Based on Formal Models
	Information Control Problems in Manufacturing, 2012

[121]	A Nonparametric Evaluation of SysML-based Mechatronic Conceptual Design
	Proceedings of the Benelux Conference on Artificial Intelligence (BNAIC), Maastricht, The Netherlands, 2012

[122]	An approach to model-driven architecture applied to hybrid systems
	International Conference on Space Operations (SpaceOps), Stockholm, Sweden, 2012

[123]	Fault-centric system modeling using SysML for reliability testing
	Emerging Technologies & Factory Automation (ETFA), 2012 IEEE 17th Conference on. IEEE, 2012

[124]	Finite State-Machine Verification Applied to Hybrid Systems
	NULL 2012

[125]	Overcoming current mechatronic design challenges
	A Qamar, J Wikander, C During - diva-portal.org, 2012

[126]	Towards an automated verification process for industrial safety applications
	Automation Science and Engineering (CASE), 2011 IEEE Conference on. IEEE, 2011

[127]	Towards a model-driven IEC 61131-based development process in industrial automation
	Journal of Software Engineering and Applications, 2011

[128]	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

[129]	FROM REQUIREMENTS TO DESIGN SPECIFICATIONS-A FORMAL APPROACH
	DS 60: Proceedings of DESIGN 2010, the 11th International Design Conference, Dubrovnik, Croatia, 2010

[130]	Integrating the 3+ 1 SysML view model with safety engineering
	Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on. IEEE, 2010

[131]	3+ 1 SysML view model for IEC61499 Function Block control systems
	Industrial Informatics (INDIN), 2010 8th IEEE International Conference on. IEEE, 2010

[132]	Analysis and Validation of IEC 61131-3 Applications using a MDE Approach
	Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on. IEEE, 2010

[133]	3+ 1 SysML-View Model for Mechatronic Systems Development
	K Thramboulidis, 2010

[1]	Strategies for Software and Hardware Compatibility Testing in Industrial Controllers Processes, 2024 DOI:10.3390/pr12030580

[2]	Category theory-based collaborative design methodology for mechatronic systems Advanced Engineering Informatics, 2023 DOI:10.1016/j.aei.2022.101865

[3]	Category theory-based collaborative design methodology for mechatronic systems Advanced Engineering Informatics, 2023 DOI:10.1016/j.aei.2022.101865

[4]	Category theory-based collaborative design methodology for mechatronic systems Advanced Engineering Informatics, 2023 DOI:10.1016/j.aei.2022.101865

[5]	Category theory-based collaborative design methodology for mechatronic systems Advanced Engineering Informatics, 2023 DOI:10.1016/j.aei.2022.101865

[6]	A hybrid approach to system verification in early design for complex mechatronic systems based on formal functional semantics Advanced Engineering Informatics, 2023 DOI:10.1016/j.aei.2023.102201

[7]	Innovative Intelligent Industrial Production and Logistics Communications in Computer and Information Science, 2023 DOI:10.1007/978-3-031-49339-3_6

[8]	Boosting Extra-Functional Code Reusability in Cyber-Physical Production Systems: The Error Handling Case Study IEEE Transactions on Emerging Topics in Computing, 2022 DOI:10.1109/TETC.2022.3142816

[9]	A Communication Architecture to Observe and Partially Preserve Efficiency in Automated Production Systems 2022 IEEE 18th International Conference on Automation Science and Engineering (CASE), 2022 DOI:10.1109/CASE49997.2022.9926551

[10]	Fostering Model Consistency in Interdisciplinary Engineering by Linking SysML and CAD-Models 2022 IEEE International Symposium on Systems Engineering (ISSE), 2022 DOI:10.1109/ISSE54508.2022.10005327

[11]	Towards automatic generation of functionality semantics to improve PLC software modularization at - Automatisierungstechnik, 2022 DOI:10.1515/auto-2021-0138

[12]	Fostering Model Consistency in Interdisciplinary Engineering by Linking SysML and CAD-Models 2022 IEEE International Symposium on Systems Engineering (ISSE), 2022 DOI:10.1109/ISSE54508.2022.10005327

[13]	A Model-Based Approach to Automated Validation and Generation of PLC Code for Manufacturing Equipment in Regulated Environments Applied Sciences, 2022 DOI:10.3390/app12157506

[14]	MICOSE4aPS: Industrially Applicable Maturity Metric to Improve Systematic Reuse of Control Software ACM Transactions on Software Engineering and Methodology, 2022 DOI:10.1145/3467896

[15]	Towards automatic generation of functionality semantics to improve PLC software modularization at - Automatisierungstechnik, 2022 DOI:10.1515/auto-2021-0138

[16]	Towards facilitating software engineering for production systems in Industry 4.0 with behavior models 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2022 DOI:10.1109/ICSE-Companion55297.2022.9793804

[17]	Towards facilitating software engineering for production systems in industry 4.0 with behavior models Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings, 2022 DOI:10.1145/3510454.3517070

[18]	A multi-dimensional extensible cloud-native service stack for enterprises Journal of Cloud Computing, 2022 DOI:10.1186/s13677-022-00366-7

[19]	Boosting Extra-Functional Code Reusability in Cyber-Physical Production Systems: The Error Handling Case Study IEEE Transactions on Emerging Topics in Computing, 2022 DOI:10.1109/TETC.2022.3142816

[20]	Maturity Levels for Automation Software Engineering in automated Production Systems 2022 IEEE 20th International Conference on Industrial Informatics (INDIN), 2022 DOI:10.1109/INDIN51773.2022.9976112

[21]	Maturity Levels for Automation Software Engineering in automated Production Systems 2022 IEEE 20th International Conference on Industrial Informatics (INDIN), 2022 DOI:10.1109/INDIN51773.2022.9976112

[22]	MICOSE4aPS: Industrially Applicable Maturity Metric to Improve Systematic Reuse of Control Software ACM Transactions on Software Engineering and Methodology, 2022 DOI:10.1145/3467896

[23]	Towards facilitating software engineering for production systems in industry 4.0 with behavior models Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings, 2022 DOI:10.1145/3510454.3517070

[24]	Towards facilitating software engineering for production systems in industry 4.0 with behavior models Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings, 2022 DOI:10.1145/3510454.3517070

[25]	A Model-Based Approach to Automated Validation and Generation of PLC Code for Manufacturing Equipment in Regulated Environments Applied Sciences, 2022 DOI:10.3390/app12157506

[26]	Model-Driven Design and Development of Flexible Automated Production Control Configurations for Industry 4.0 Applied Sciences, 2021 DOI:10.3390/app11052319

[27]	Managing Variability and Reuse of Extra-functional Control Software in CPPS 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021 DOI:10.23919/DATE51398.2021.9474105

[28]	Table‐based formal specification approaches for control engineers—empirical studies of usability IET Cyber-Physical Systems: Theory & Applications, 2021 DOI:10.1049/cps2.12017

[29]	Reuse Assessment of IEC 61131-3 Control Software Modules Using Metrics – An Industrial Case Study 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), 2021 DOI:10.1109/INDIN45523.2021.9557357

[30]	Transformation from System Design Models in SysML to Executable IEC 61499 Function Block Models 2021 6th International Conference on Control, Robotics and Cybernetics (CRC), 2021 DOI:10.1109/CRC52766.2021.9620168

[31]	Model-Driven Design and Development of Flexible Automated Production Control Configurations for Industry 4.0 Applied Sciences, 2021 DOI:10.3390/app11052319

[32]	An Automated Approach for Execution Sequence-Driven Software and Physical Co-Design of Mechatronic Systems Based on Hybrid Functional Ontology Computer-Aided Design, 2021 DOI:10.1016/j.cad.2020.102942

[33]	Software-physical synergetic design methodology of mechatronic systems based on formal functional models Research in Engineering Design, 2020 DOI:10.1007/s00163-020-00334-9

[34]	A Classification Framework for Automated Control Code Generation in Industrial Automation Journal of Systems and Software, 2020 DOI:10.1016/j.jss.2020.110575

[35]	Dynamics in Logistics Lecture Notes in Logistics, 2020 DOI:10.1007/978-3-030-44783-0_43

[36]	Towards Model Synchronization for Consistency Management of Mechatronic Systems Applied Sciences, 2020 DOI:10.3390/app10103577

[37]	Analysis of metamodels for model-based production automation system engineering IET Collaborative Intelligent Manufacturing, 2020 DOI:10.1049/iet-cim.2020.0013

[38]	Identifying Runtime Issues in Object-Oriented IEC 61131-3-Compliant Control Software using Metrics IECON 2020 The 46th Annual Conference of the IEEE Industrial Electronics Society, 2020 DOI:10.1109/IECON43393.2020.9254929

[39]	Goal-Lever-Indicator-Principle to Derive Recommendations for Improving IEC 61131-3 Control Software 2020 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), 2020 DOI:10.1109/IEEM45057.2020.9309738

[40]	Variability Visualization of IEC 61131-3 Legacy Software for Planned Reuse 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2020 DOI:10.1109/SMC42975.2020.9283309

[41]	Enhancing digital twin performance through simulation of computerized numerical control firmware Procedia Manufacturing, 2020 DOI:10.1016/j.promfg.2020.06.013

[42]	Towards Model Synchronization for Consistency Management of Mechatronic Systems Applied Sciences, 2020 DOI:10.3390/app10103577

[43]	Visualization of Variability Analysis of Control Software From Industrial Automation Systems 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC), 2019 DOI:10.1109/SMC.2019.8914367

[44]	Application of a multi-disciplinary design approach in a mechatronic engineering toolchain at - Automatisierungstechnik, 2019 DOI:10.1515/auto-2018-0097

[45]	Test case generation for production systems with model-implemented fault injection consideration Procedia CIRP, 2019 DOI:10.1016/j.procir.2019.02.065

[46]	Application of a multi-disciplinary design approach in a mechatronic engineering toolchain at - Automatisierungstechnik, 2019 DOI:10.1515/auto-2018-0097

[47]	Introduction and Evaluation of Complexity Metrics for Network-based, Graphical IEC 61131-3 Programming Languages IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, 2019 DOI:10.1109/IECON.2019.8926726

[48]	System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 Lecture Notes in Computer Science, 2019 DOI:10.1007/978-3-030-30690-8_5

[49]	A model-based approach for design and verification of Industrial Internet of Things Future Generation Computer Systems, 2019 DOI:10.1016/j.future.2018.12.012

[50]	Test case generation for production systems with model-implemented fault injection consideration Procedia CIRP, 2019 DOI:10.1016/j.procir.2019.02.065

[51]	Automated generation of control logic from system design based on SysML and the IEC 61499 Function Block Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture, 2019 DOI:10.1177/0954405419842021

[52]	Automotive Systems Engineering II 2018 DOI:10.1007/978-3-319-61607-0_4

[53]	Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU at - Automatisierungstechnik, 2018 DOI:10.1515/auto-2018-0028

[54]	Model-based development of a multi-agent system for controlling material flow systems at - Automatisierungstechnik, 2018 DOI:10.1515/auto-2017-0107

[55]	Model-based training of manual procedures in automated production systems Mechatronics, 2018 DOI:10.1016/j.mechatronics.2018.05.010

[56]	Architecture-based Change Impact Analysis in Cross-disciplinary Automated Production Systems Journal of Systems and Software, 2018 DOI:10.1016/j.jss.2018.08.058

[57]	Maintainability and evolvability of control software in machine and plant manufacturing — An industrial survey Control Engineering Practice, 2018 DOI:10.1016/j.conengprac.2018.08.007

[58]	A model-based framework for increasing the interdisciplinary design of mechatronic production systems Journal of Engineering Design, 2018 DOI:10.1080/09544828.2018.1520205

[59]	Model-based development of a multi-agent system for controlling material flow systems at - Automatisierungstechnik, 2018 DOI:10.1515/auto-2017-0107

[60]	Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU at - Automatisierungstechnik, 2018 DOI:10.1515/auto-2018-0028

[61]	A framework for MDE of IoT-based manufacturing cyber-physical systems Proceedings of the Seventh International Conference on the Internet of Things, 2017 DOI:10.1145/3131542.3131554

[62]	Multi-scale approach from mechatronic to Cyber-Physical Systems for the design of manufacturing systems Computers in Industry, 2017 DOI:10.1016/j.compind.2016.12.001

[63]	Modularity and architecture of PLC-based software for automated production Systems: An analysis in industrial companies Journal of Systems and Software, 2017 DOI:10.1016/j.jss.2017.05.051

[64]	Modeling as the basis for innovation cycle management of PSS: Making use of interdisciplinary models 2017 IEEE International Systems Engineering Symposium (ISSE), 2017 DOI:10.1109/SysEng.2017.8088310

[65]	A framework for MDE of IoT-based manufacturing cyber-physical systems Proceedings of the Seventh International Conference on the Internet of Things - IoT '17, 2017 DOI:10.1145/3131542.3131554

[66]	Towards IoT cybersecurity modeling: From malware analysis data to IoT system representation 2016 8th IEEE Latin-American Conference on Communications (LATINCOM), 2016 DOI:10.1109/LATINCOM.2016.7811597

[67]	UML4IoT—A UML-based approach to exploit IoT in cyber-physical manufacturing systems Computers in Industry, 2016 DOI:10.1016/j.compind.2016.05.010

[68]	IoT-based integration of IEC 61131 industrial automation systems: The case of UML4IoT 2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), 2016 DOI:10.1109/ISIE.2016.7744911

[69]	Test methodology for virtual commissioning based on behaviour simulation of production systems 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), 2016 DOI:10.1109/ETFA.2016.7733624

[70]	An open distributed architecture for flexible hybrid assembly systems: a model-driven engineering approach The International Journal of Advanced Manufacturing Technology, 2016 DOI:10.1007/s00170-015-8064-4

[71]	Evolution of software in automated production systems: Challenges and research directions Journal of Systems and Software, 2015 DOI:10.1016/j.jss.2015.08.026

[72]	Enhancing a model-based engineering approach for distributed manufacturing automation systems with characteristics and design patterns Journal of Systems and Software, 2015 DOI:10.1016/j.jss.2014.12.028

[73]	Industrial Agents 2015 DOI:10.1016/B978-0-12-800341-1.00008-5

[74]	A cyber–physical system-based approach for industrial automation systems Computers in Industry, 2015 DOI:10.1016/j.compind.2015.04.006

[75]	Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE Approach Procedia Computer Science, 2015 DOI:10.1016/j.procs.2015.05.180

[76]	Comments on “A model-based design methodology for the development of mechatronic systems” Mechatronics, 2015 DOI:10.1016/j.mechatronics.2015.05.001

[77]	A Model-Driven Approach on Object-Oriented PLC Programming for Manufacturing Systems with Regard to Usability IEEE Transactions on Industrial Informatics, 2015 DOI:10.1109/TII.2014.2346133

[78]	Research on accident process meta-modeling based on SysML 2015 First International Conference on Reliability Systems Engineering (ICRSE), 2015 DOI:10.1109/ICRSE.2015.7366487

[79]	Architecture-Based Assessment and Planning of Software Changes in Information and Automated Production Systems State of the Art and Open Issues 2015 IEEE International Conference on Systems, Man, and Cybernetics, 2015 DOI:10.1109/SMC.2015.130

[80]	Challenges for maintenance of PLC-software and its related hardware for automated production systems: Selected industrial Case Studies 2015 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2015 DOI:10.1109/ICSM.2015.7332487

[81]	Innovationsprozesse zyklenorientiert managen 2014 DOI:10.1007/978-3-662-44932-5_2

[82]	Risk - A Multidisciplinary Introduction 2014 DOI:10.1007/978-3-319-04486-6_13

[83]	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 DOI:10.4236/jsea.2014.711084

[84]	Challenges for Software Engineering in Automation Journal of Software Engineering and Applications, 2014 DOI:10.4236/jsea.2014.75041

[85]	Automatic generation of field control strategies for supporting (re-)engineering of manufacturing systems Journal of Intelligent Manufacturing, 2014 DOI:10.1007/s10845-013-0744-z

[86]	Extension of Electronic Device Description Language for analysing change impacts in modular automation in manufacturing plants Journal of Engineering Design, 2014 DOI:10.1080/09544828.2014.911825

[87]	An Integrated Approach to Analyze Change-situations in the Development of Production Systems Procedia CIRP, 2014 DOI:10.1016/j.procir.2014.01.081

[88]	On the use of model-based techniques for achieving multi-mode control architectures Mechatronics, 2014 DOI:10.1016/j.mechatronics.2014.05.002

[89]	Integrating viewpoints in the development of mechatronic products Mechatronics, 2014 DOI:10.1016/j.mechatronics.2013.11.013

[90]	Model-driven engineering of Manufacturing Automation Software Projects – A SysML-based approach Mechatronics, 2014 DOI:10.1016/j.mechatronics.2014.05.003

[91]	An ontology-based approach for decentralized monitoring and diagnostics 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 2014 DOI:10.1109/INDIN.2014.6945600

[92]	Supporting the cross-disciplinary development of product-service systems through model transformations 2014 IEEE International Conference on Industrial Engineering and Engineering Management, 2014 DOI:10.1109/IEEM.2014.7058623

[93]	A safety modeling method based on SysML 2014 10th International Conference on Reliability, Maintainability and Safety (ICRMS), 2014 DOI:10.1109/ICRMS.2014.7107390

[94]	An approach for discovering and analyzing implicit architectural designs in field level automation software IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, 2014 DOI:10.1109/IECON.2014.7049242

[95]	MDE of manufacturing automation software — Integrating SysML and standard development tools 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 2014 DOI:10.1109/INDIN.2014.6945519

[96]	Innovationsprozesse zyklenorientiert managen 2014 DOI:10.1007/978-3-662-44932-5_2

[97]	Risk - A Multidisciplinary Introduction 2014 DOI:10.1007/978-3-319-04486-6_13

[98]	Service Orientation in Holonic and Multi Agent Manufacturing and Robotics Studies in Computational Intelligence, 2013 DOI:10.1007/978-3-642-35852-4_23

[99]	Increasing agility in engineering and runtime of automated manufacturing systems 2013 IEEE International Conference on Industrial Technology (ICIT), 2013 DOI:10.1109/ICIT.2013.6505861

[100]	An interdisciplinary SysML based modeling approach for analyzing change influences in production plants to support the engineering 2013 IEEE International Conference on Automation Science and Engineering (CASE), 2013 DOI:10.1109/CoASE.2013.6654030

[101]	Concept for an integration-framework to enable the crossdisciplinary development of product-service systems 2013 IEEE International Conference on Industrial Engineering and Engineering Management, 2013 DOI:10.1109/IEEM.2013.6962430

[102]	An industrial evaluation of SysML: The case of a nuclear automation modernization project 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 2013 DOI:10.1109/ETFA.2013.6647945

[103]	Design patterns for model-based automation software design and implementation Control Engineering Practice, 2013 DOI:10.1016/j.conengprac.2012.03.017

[104]	Service Orientation in Holonic and Multi Agent Manufacturing and Robotics Studies in Computational Intelligence, 2013 DOI:10.1007/978-3-642-35852-4_23

[105]	Swarm-based evaluation of nonparametric SysML mechatronics system design 2013 IEEE International Conference on Mechatronics (ICM), 2013 DOI:10.1109/ICMECH.2013.6518576

[106]	Model-based customisation of intelligent mechatronic systems using SysML 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 2013 DOI:10.1109/ETFA.2013.6648138

[107]	Applying formal software engineering techniques to smart grids 2012 First International Workshop on Software Engineering Challenges for the Smart Grid (SE-SmartGrids), 2012 DOI:10.1109/SE4SG.2012.6225719

[108]	On Modelling the State-Space of Manufacturing Systems using UML IFAC Proceedings Volumes, 2012 DOI:10.3182/20120523-3-RO-2023.00118

[109]	Automatic Generation of Field Control Strategies for Supporting (Re-)Engineering of Manufacturing Systems IFAC Proceedings Volumes, 2012 DOI:10.3182/20120523-3-RO-2023.00106

[110]	Model-Based Validation of Industrial Control Systems IEEE Transactions on Industrial Informatics, 2012 DOI:10.1109/TII.2011.2174248

[111]	An Approach to Model-driven Architecture Applied to Hybrid Systems SpaceOps 2012 Conference, 2012 DOI:10.2514/6.2012-1290620

[112]	Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications Annual Reviews in Control, 2012 DOI:10.1016/j.arcontrol.2012.09.015

[113]	Finite State-Machine Verification Applied to Hybrid Systems SAE Technical Paper Series, 2012 DOI:10.4271/2012-36-0429

[114]	Using contact points to integrate discipline spanning real-time requirements in modeling Networked Automation Systems for manufacturing systems 2012 IEEE International Conference on Automation Science and Engineering (CASE), 2012 DOI:10.1109/CoASE.2012.6386422

[115]	Fault-centric system modeling using SysML for reliability testing Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), 2012 DOI:10.1109/ETFA.2012.6489543

[116]	Function Block Diagram to UPPAAL Timed Automata Transformation Based on Formal Models IFAC Proceedings Volumes, 2012 DOI:10.3182/20120523-3-RO-2023.00370

[117]	Towards an automated verification process for industrial safety applications 2011 IEEE International Conference on Automation Science and Engineering, 2011 DOI:10.1109/CASE.2011.6042451

[118]	Towards a Model-Driven IEC 61131-Based Development Process in Industrial Automation Journal of Software Engineering and Applications, 2011 DOI:10.4236/jsea.2011.44024

[119]	Analysis and validation of IEC 61131-3 applications using a MDE approach 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010), 2010 DOI:10.1109/ETFA.2010.5641238

[120]	3+1 SysML view model for IEC61499 Function Block control systems 2010 8th IEEE International Conference on Industrial Informatics, 2010 DOI:10.1109/INDIN.2010.5549440

[121]	Integrating the 3+1 SysML view model with safety engineering 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010), 2010 DOI:10.1109/ETFA.2010.5641353

Follow SCIRP

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Journal of Software Engineering and Applications

Journal of Software Engineering and Applications

Journals Menu

Home

About SCIRP

Service

Policies