Publications

@inproceedings{APD18b,

title = {Slicing UML-based Models of Real-time Embedded Systems},

author = {Reza Ahmadi and Ernesto Posse and Juergen Dingel},

url = {http://doi.acm.org/10.1145/3239372.3239407},

doi = {10.1145/3239372.3239407},

year  = {2018},

date = {2018-10-01},

booktitle = {ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS'18)},

pages = {346-356},

publisher = {ACM},

address = {Copenhagen, Denmark},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{APD18,

title = {Slicing UML-based Models of Real-time Embedded Systems},

author = {Reza Ahmadi and Ernesto Posse and Juergen Dingel},

url = {http://doi.acm.org/10.1145/3239372.3239407},

doi = {10.1145/3239372.3239407},

year  = {2018},

date = {2018-10-01},

booktitle = {ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS'18)},

pages = {346-356},

publisher = {ACM},

address = {Copenhagen, Denmark},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{AHD18b,

title = {Property-aware Unit Testing of UML-RT Models in the Context of MDE},

author = {Reza Ahmadi and Nicolas Hili and Juergen Dingel},

url = {https://link.springer.com/chapter/10.1007/978-3-319-92997-2_1},

doi = {10.1007/978-3-319-92997-2_10},

year  = {2018},

date = {2018-06-01},

booktitle = {14th European Conference on Modelling Foundations and Applications (EC-MFA'18)},

pages = {147-163},

publisher = {Springer},

address = {Toulouse, France},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{AHD18,

title = {Property-aware Unit Testing of UML-RT Models in the Context of MDE},

author = {Reza Ahmadi and Nicolas Hili and Juergen Dingel},

url = {https://link.springer.com/chapter/10.1007/978-3-319-92997-2_1},

doi = {10.1007/978-3-319-92997-2_10},

year  = {2018},

date = {2018-06-01},

booktitle = {14th European Conference on Modelling Foundations and Applications (EC-MFA'18)},

pages = {147-163},

publisher = {Springer},

address = {Toulouse, France},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BHSD18b,

title = {MDebugger: A Model-level Debugger for UML-RT},

author = {Mojtaba Bagherzadeh and Nicolas Hili and David Seekatz and Juergen Dingel},

url = {https://dl.acm.org/citation.cfm?id=3183440.3183473, paper https://github.com/moji1/MDebugger, code https://www.youtube.com/watch?v=L0JDn8eczwQ, video},

year  = {2018},

date = {2018-05-01},

booktitle = {40th International Conference on Software Engineering (ICSE'18): Companion Proceedings},

pages = {4},

address = {Gothenburg, Sweden},

abstract = {Providing proper support for debugging models at model-level is one of the main barriers to a broader adoption of Model Driven Development (MDD). In this paper, we focus on the use of MDD for the development of real-time embedded systems (RTE). We introduce a new platform-independent approach to implement model-level debuggers. We describe how to realize support for model-level debugging entirely in terms of the modeling language and show how to implement this support in terms of a model-to-model transformation. Key advantages of the approach over existing work are that (1) it does not require a program debugger for the code generated from the model, and that (2) any changes to, e.g., the code generator, the target language, or the hardware platform leave the debugger completely unaffected. We also describe an implementation of the approach in the context of Papyrus-RT, an open source MDD tool based on the modeling language UML-RT. We summarize the results of the use of our model-based debugger on several use cases to determine its overhead in terms of size and performance. Despite being a prototype, the performance overhead is in the order of microseconds, while the size overhead is comparable with that of GDB, the GNU Debugger.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{ADR18b,

title = {Supervisor Aware Service Composition Framework: An Implementation and Evaluation},

author = {Francis Atampore and Juergen Dingel and Karen Rudie},

editor = {Gianmaria De Tommasi},

doi = {https://doi.org/10.1016/j.ifacol.2018.06.313},

year  = {2018},

date = {2018-05-01},

booktitle = {14th Workshop on Discrete Event Systems (WODES'18)},

publisher = {Elsevier},

address = {Castellammare di Stabia, Sorrento Coast, Italy},

note = {IFAC-PapersOnLine 51(7):277-284},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BHSD18,

title = {MDebugger: A Model-level Debugger for UML-RT},

author = {Mojtaba Bagherzadeh and Nicolas Hili and David Seekatz and Juergen Dingel},

url = {https://dl.acm.org/citation.cfm?id=3183440.3183473, paper 

 https://github.com/moji1/MDebugger, code https://www.youtube.com/watch?v=L0JDn8eczwQ, video},

year  = {2018},

date = {2018-05-01},

booktitle = {40th International Conference on Software Engineering (ICSE'18): Companion Proceedings},

pages = {4},

address = {Gothenburg, Sweden},

abstract = {Providing proper support for debugging models at model-level is one of the main barriers to a broader adoption of Model Driven Development (MDD). In this paper, we focus on the use of MDD for the development of real-time embedded systems (RTE). We introduce a new platform-independent approach to implement model-level debuggers. We describe how to realize support for model-level debugging entirely in terms of the modeling language and show how to implement this support in terms of a model-to-model transformation. Key advantages of the approach over existing work are that (1) it does not require a program debugger for the code generated from the model, and that (2) any changes to, e.g., the code generator, the target language, or the hardware platform leave the debugger completely unaffected. We also describe an implementation of the approach in the context of Papyrus-RT, an open source MDD tool based on the modeling language UML-RT. We summarize the results of the use of our model-based debugger on several use cases to determine its overhead in terms of size and performance. Despite being a prototype, the performance overhead is in the order of microseconds, while the size overhead is comparable with that of GDB, the GNU Debugger.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{ADR18,

title = {Supervisor Aware Service Composition Framework: An Implementation and Evaluation},

author = {Francis Atampore and Juergen Dingel and Karen Rudie},

editor = {Gianmaria De Tommasi},

doi = {https://doi.org/10.1016/j.ifacol.2018.06.313},

year  = {2018},

date = {2018-05-01},

booktitle = {14th Workshop on Discrete Event Systems (WODES'18)},

publisher = {Elsevier},

address = {Castellammare di Stabia, Sorrento Coast, Italy},

note = {IFAC-PapersOnLine 51(7):277-284},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{HPD18,

title = {Calur: an Action Language for UML-RT},

author = {Nicolas Hili and Ernesto Posse and Juergen Dingel},

url = {https://www.erts2018.org/uploads/program/ERTS_2018_paper_96.pdf, paper https://www.youtube.com/watch?v=V8cwTuNORGg, video},

year  = {2018},

date = {2018-01-01},

booktitle = {European Congress Embedded Real-time Software and Systems (ERTS'18)},

pages = {10},

address = {Toulouse, France},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{HPD18b,

title = {Calur: an Action Language for UML-RT},

author = {Nicolas Hili and Ernesto Posse and Juergen Dingel},

url = {https://www.erts2018.org/uploads/program/ERTS_2018_paper_96.pdf, paper https://www.youtube.com/watch?v=V8cwTuNORGg, video},

year  = {2018},

date = {2018-01-01},

booktitle = {European Congress Embedded Real-time Software and Systems (ERTS'18)},

pages = {10},

address = {Toulouse, France},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}