2011 |
A Metamodel for Representing Safety LifeCycle Development Process |
Authors:
|
Yulin Zhang, Brahim Hamid, Damien Gouteux (IRIT) |
Publisher
| ICSEA 2011, The Sixth International Conference on Software Engineering Advances
(ICSEA 2011) |
Date:
| October 2011
|
| Text: | Think Mind
|
|
Analysis of the SYM2 Smart Meter Remote Software Download Using Formal Methods Reasoning |
Authors:
|
Andreas Fuchs (Fraunhofer SIT), Donatus Weber (University of Siegen) |
Publisher
| Proceedings of
S&D4RCES 2011
Workshop, in the Proceedings of the International Workshop on Security
and Dependability for Resource Constrained Embedded Systems (SAFECOMP 2011) |
Date:
| October 2011
|
| Text: | ACM DL Digital Library (to appear)
|
|
Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches |
Authors:
|
Brahim Hamid (IRIT), Sigrid Gürgens (Fraunhofer SIT), Christophe Jouvray (Trialog), Nicolas Desnos (IRIT) |
Publisher
| Proceedings of the ACM/IEEE 14th International Conference on Model Driven Engineering Languages 2011
(MODELS 2011) |
Date:
| October 2011
|
| Text: | (to appear)
|
|
Vers une Technique de Développement de Patrons de Sécurité et de Fiabilité pour les Systèmes Embarqués Contraints en Ressources.
Autohrs:
Date:
Text:
|
| Authors: | Brahim Hamid, Nicolas Desnos (IRIT, University of Toulouse), Christophe Jouvray (Trialog) |
| Publisher | Génie Logiciel, GL & IS
|
| Date: | September 2011 (to appear)
|
|
Towards Variability Support for Security and Dependability Patterns |
| Authors: | Brahim Hamid, Nicolas Desnos (IRIT, University of Toulouse), Salvador Trujillo,David Gonzalez (Ikerlan- IK4)
|
| Publisher | Proceedings of the 3rd International Workshop on
Model-driven Approaches in Software Product Line Engineering and
Software Product Line Conference (SPLC/MAPLE/SCALE 2011) |
| Date: |
August 2011
|
| Text: | ACM DL |
|
2010 |
An Environment for Design Software and Hardware Aspects of Clock Synchronization and Communication in DRTES
|
Authors:
| Brahim Hamid, Adel Ziani (IRIT) |
Publisher
| Proceedings of IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing (EUC 2010) |
Date:
| December 2010
|
| Text: | IEEE Xplore |
|
Enforcing Trust in Embedded Systems Using Models
|
Authors:
| Christophe Jouvray, Michel Sall, Antonio Kung (Trialog) |
Publisher
| Proceedings of
S&D4RCES '10
Workshop, in the Proceedings of the International Workshop on Security
and Dependability for Resource Constrained Embedded Systems (SAFECOMP 2010) |
Date:
| September 2010
|
| Text: | ACM DL Digital Library
|
|
Formalization of Smart Metering Requirements |
Authors:
| Andreas Fuchs, Sigrid Gürgens (Fraunhofer SIT), Donatus Weber, Christian Bodenstedt,Christoph Ruland (University of Siegen) |
Publisher
| Proceedings of
S&D4RCES '10
Workshop, in the Proceedings of the International Workshop on Security
and Dependability for Resource Constrained Embedded Systems (SAFECOMP 2010) |
Date:
| September 2010
|
| Text: | ACM DL Digital Library
|
|
Model-Based Security and Dependability Patterns in RCES – the TERESA Approach |
Authors:
| Brahim Hamid, Nicolas Desnos (IRIT, University of Toulouse), Cyril Grepet, Christophe Jouvray (Trialog)
|
Publisher
| Proceedings of
S&D4RCES '10 Workshop, in the Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems (SAFECOMP 2010) |
Date:
| September 2010 |
| Text: | ACM DL Digital Library |
|
Towards the Integration of Advanced Engineering Paradigms into RCES:
Raising the Issues for the Safety-Critical Model-Driven Product-Line
Case |
Authors:
| Salvador Trujillo, Antonio Perez, David Gonzalez (Ikerlan- IK4), Brahim Hamid (IRIT, University of Toulouse) |
Publisher
| Proceedings of
S&D4RCES '10
Workshop, in the Proceedings of the International Workshop on Security
and Dependability for Resource Constrained Embedded Systems (SAFECOMP 2010) |
Date:
| September 2010 |
| Text: | ACM DL Digital Library |
|
Security Engineering for Embedded Systems: The SecFutur Vision |
Authors:
|
Sigrid Gürgens,
Carsten Rudolph (Fraunhofer SIT),
Antonio Maña (University of Malaga),
Simin Nadjm-Tehrani(Linköping University) |
Publisher
| Proceedings of
S&D4RCES '10
Workshop, in the Proceedings of the International Workshop on Security
and Dependability for Resource Constrained Embedded Systems (SAFECOMP 2010) |
Date:
| September 2010
|
| Text: | ACM DL Digital Library
|
|
Model-Based Engineering for Dynamic Reconfiguration in
DRTES |
| Authors: | Brahim Hamid, Fatma Krichen (IRIT) |
| Publisher: | 8th Nordic Workshop on Model Driven Software Engineering (NW-MODE 2010) |
| Date: | August 2010
|
| Text: | paper  |
|
Integration of Security and Dependability into Resource Constrained Embedded Systems |
| Authors: | Christian Bodenstedt, Christoph Ruland, Donatus Weber (University of Siegen), Antonio Kung (Trialog) |
Publisher:
| 3rd International Conference on Telecommunications, Electronics and Informatics (ICTEI 2010) |
Date:
| May 2010 |
Text:
| paper |
|