MODELS 2015 - PDF Preprint Papers

MODELS 2015 Model Driven Engineering Languages and Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed MODELS-2015 Paper

click to vote

MODELS
2015
Springer

33views Natural Language Processing» more MODELS 2015»

Executable models for Embedded Controllers Development - A Cloud Based Development Framework

8 years 10 days ago

Download ceur-ws.org

—We present IOPT-Tools, a tool framework for the development of digital controllers based on graphical executable models. The framework supports edition, simulation, veriﬁcatio...

Fernando Pereira, Filipe Moutinho, João Pau...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	33	Executable models for Embedded Controllers Development - A Cloud Based Development Framework	claim
2	33	Feature modeling of two large-scale industrial software systems: Experiences and lessons learned	claim
3	27	Change-driven Incremental Symbolic Execution of Evolving State Machines	claim
4	26	Privacy Requirement Modeling and Verification in Cloud Computing	claim
5	26	Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus -	claim
6	24	An Algebraic Instantiation Technique Illustrated by Multilevel Design Patterns	claim
7	24	Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems	claim
8	24	An Approach to Employ Modeling in a Traditional Computer Science Curriculum or: Why Posing Essentials of the Object Constraint Language without Objects and Constraints?	claim
9	24	Flipped Top-Down is Systematic Bottom-Up	claim
10	24	Detection and Handling of Model Smells for MATLAB/Simulink models	claim
11	24	Automated Metamodel/Model Co-Evolution using a Multi-Objective Optimization Approach	claim
12	23	A Modular Reference Structure for Component-based Architecture Description Languages	claim
13	23	Optimizing the Symbolic Execution of Communicating and Evolving State Machines	claim
14	22	AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems	claim
15	22	MMINT: A Graphical Tool for Interactive Model Management	claim
16	22	Process mining in software systems: Discovering real-life business transactions and process models from distributed systems	claim
17	21	Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects	claim
18	20	Towards Integration of Modeling Methods for Cyber-Physical Systems	claim
19	20	From Simulation to Operation: Using Design Time Artifacts to Ensure the Safety of Advanced Driving Assistance Systems at Runtime	claim
20	20	How Do Developers Solve Software-engineering Tasks on Model-based Code Generators? An Empirical Study Design	claim
21	18	Active World Model for Testing Autonomous Systems Using CEFSM	claim
22	18	A model-based framework for probabilistic simulation of legal policies	claim
23	17	Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs	claim
24	17	Using Reference Attribute Grammar-Controlled Rewriting for Energy Auto-Tuning	claim
25	16	Towards a Generic Modeling Language for Contract-Based Design	claim
26	16	Automatic Generation of Transformations for Software Process Tailoring	claim
27	16	Quality Assessment of UML Class Diagrams - A Study Comparing Experts and Students	claim
28	16	A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking	claim
29	15	Analyzing Regulatory Conformance in Medical Research Systems Using Multi-Paradigm Modeling	claim
30	15	Towards Inconsistency Management by Process-Oriented Dependency Modeling	claim
31	15	A megamodel for Software Process Line modeling and evolution	claim
32	14	Modeling user intentions for in-car infotainment systems using Bayesian networks	claim
33	14	The Effects of Education on Students' Perception of Modeling in Software Engineering	claim
34	14	Extended Traits for Model Driven Software Development	claim
35	14	Transformation Reuse: What is the Intent?	claim
36	13	Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering	claim
37	13	Towards an MDA Mechanism for RESTful Services Development	claim
38	13	Debugging Models in the Context of Automotive Software Development	claim
39	13	A Flexible Approach for Adding Middleware Completions to Software Performance Models	claim
40	13	Introduction to ACES-MB 2015	claim
41	12	Integrating Open-Source Modeling Projects: Collaborative Modeling with Papyrus and EMF Compare	claim
42	12	Evaluating Student Work in Modelling Courses	claim
43	12	Textual diagram layout language and visualization algorithm	claim
44	12	Models@run.time for Object-Relational Mapping Supporting Schema Evolution	claim
45	12	Exploring Multi-Level Modeling Relations Using Variability Mechanisms	claim
46	12	Safe Navigation in OCL	claim
47	12	Building MDE Cloud Services with Distil	claim
48	12	Analysis of ISO 26262 Compliant Techniques for the Automotive Domain	claim
49	11	Checking concurrent behavior in UML/OCL models	claim
50	11	Architectural and Analytic Integration of Cyber-Physical System Models	claim
51	11	Generating Model with Uncertainty by Means of JTL	claim
52	11	Lazy Evaluation for OCL	claim
53	11	Analysis of Source-to-Target Model Transformations in QueST	claim
54	11	CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella	claim
55	11	Concern-oriented interfaces for model-based reuse of APIs	claim
56	11	A Tool for Clustering Metamodel Repositories	claim
57	10	A Model-Driven Based Environment for Automatic Model Coordination	claim
58	10	Fully verifying transformation contracts for declarative ATL	claim
59	10	Comparing Comprehensibility of Modelling Languages for Specifying Behavioural Requirements	claim
60	10	Behavioral Types for Space-aware Systems	claim
61	10	Recursion and Iteration Support in USE Validator with AnATLyzer	claim
62	10	Summary of the 10th International Workshop on Models@run.time	claim
63	10	Systematically deriving domain-specific transformation languages	claim
64	10	Partitioning Embedded Real-Time Control Software based on Communication Dependencies	claim
65	10	Towards Safe Model Transformation for Constraint-driven Modeling	claim
66	10	A Diagrammatic Approach to Model Completion	claim
67	9	Enhancing Model-Based Engineering of Product Lines by Adding Functional Safety	claim
68	9	Executable Modeling with fUML and Alf in Papyrus: Tooling and Experiments	claim
69	9	Multi-Language Modelling with Second Order Intensions	claim
70	9	Employing classifying terms for testing model transformations	claim
71	9	Iterative Development of Transformation Models by Using Classifying Terms	claim
72	9	A framework for relating syntactic and semantic model differences	claim
73	9	Support for Evaluation of Impact Models in Reuse Hierarchies with jUCMNav and TouchCORE	claim
74	9	Modular model-based supervisory controller design for wafer logistics in lithography machines	claim
75	9	Testing M2M/M2T/T2M Transformations	claim
76	9	An Expeditious Approach to Modeling IDE Interaction Design	claim
77	9	Foundations of a Multi-Paradigm Modelling Tool	claim
78	8	Towards a Unifying Approach for Performance-Driven Software Model Refactoring	claim
79	8	Challenges for Model-Integrating Components	claim
80	8	UML Modeling for Visually-Impaired Persons	claim
81	8	Taxonomy of Flexible Linguistic Commitments	claim
82	8	Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses	claim
83	8	Fragmenta: A theory of fragmentation for MDE	claim
84	8	Model-Based Reuse of APIs using Concern-Orientation	claim
85	8	Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models	claim
86	8	Facilitating Migration of Cloud Infrastructure Services: A Model-Based Approach	claim
87	7	SoSPa: A system of Security design Patterns for systematically engineering secure systems	claim
88	7	Experimenting with Multi-Level Models in a Two-Level Modeling Tool	claim
89	7	Performance prediction upon toolchain migration in model-based software	claim
90	7	Explicitly Modelling Model Debugging Environments	claim
91	7	A statistical analysis approach to assist model transformation evolution	claim
92	7	Multi-Perspective Modeling and Performance Analysis of Software Product Lines	claim
93	7	Leveraging Models at Run-Time to Retrieve Information for Feature Location	claim
94	6	Prototizer: Agile on Steroids	claim
95	6	Property-Based Methods for Collaborative Model Development	claim
96	6	Towards a Deep Metamodelling Based Formalization of Component Models	claim
97	6	Generating Examples for Knowledge Abstraction in MDE: a Multi-Objective Framework	claim
98	6	Testing Extensible Language Debuggers	claim
99	6	Reusable event types for models at runtime to support the examination of runtime phenomena	claim
100	6	On the Need for Extended Transactional Models@Run.Time	claim
101	6	Towards Benchmarking Evolution Support in Model-to-Text Transformation Systems	claim
102	6	MUTANT: Model-Driven Unit Testing using ASCII-art as Notational Text	claim
103	6	Empirical Study: Comparing Hasselt with C# to Describe Multimodal Dialogs	claim
104	6	Using Adaptation Plans to Control the Behavior of Models@runtime	claim
105	5	Practical Multi-level Modeling on MOF-compliant Modeling Frameworks	claim
106	5	Engineering tagging languages for DSLs	claim
107	5	Towards a Unifying Model Transformation Bus	claim
108	5	Managing Distributed Context Models Requires Adaptivity too	claim
109	5	A Vision on a New Generation of Software Design Environments	claim
110	5	UmpleRun: a Dynamic Analysis Tool for Textually Modeled State Machines using Umple	claim
111	5	Flexible Modelling for Requirements Engineering	claim
112	5	Programming against Multi-Version Metamodels: A Model Differencing and Virtualization Approach	claim
113	5	On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL	claim
114	5	Enriching megamodel management with collection-based operators	claim
115	5	Towards User-Friendly and Efficient Analysis with Alloy	claim
116	4	Proposal for Improving the UML Abstract Syntax	claim
117	4	An OCL-based Bridge from Concrete to Abstract Syntax	claim
118	4	Dethroning Programming Languages as Endorsed Means for Fine-grained UML Behaviour Modelling in Open Source MDE	claim
119	3	Merging Features in Featured Transition Systems	claim
120	3	Opportunities and Challenges for Deep Constraint Languages	claim
121	3	A unifying approach to connections for multi-level modeling	claim
122	3	Model Repositories: Will They Become Reality?	claim
123	3	A Tool for the Automatic Generation of Multimodel Editors	claim
124	2	Stream my models: Reactive peer-to-peer distributed models@run.time	claim
125	2	On the Execution of Deep Models	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers