[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
|
|
NULL
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 |
|
|