Suivre
Julien Delange
Julien Delange
Carnegie Mellon Software Engineering Institute
Adresse e-mail validée de andrew.cmu.edu - Page d'accueil
Titre
Citée par
Citée par
Année
Architecture fault modeling with the AADL error-model annex
J Delange, P Feiler
2014 40th EUROMICRO Conference on Software Engineering and Advanced …, 2014
882014
Validate, simulate, and implement ARINC653 systems using the AADL
J Delange, L Pautet, A Plantec, M Kerboeuf, F Singhoff, F Kordon
Proceedings of the ACM SIGAda annual international conference on Ada and …, 2009
842009
TASTE: a real-time software engineering tool-chain overview, status, and future
M Perrotin, E Conquet, J Delange, AÚ Schiele, T Tsiodras
International SDL Forum, 26-37, 2011
532011
Illustrating the AADL error modeling annex (v. 2) using a simple safety-critical medical device
B Larson, J Hatcliff, K Fowler, J Delange
ACM SIGAda Ada Letters 33 (3), 65-84, 2013
472013
Validating safety and security requirements for partitioned architectures
J Delange, L Pautet, P Feiler
International Conference on Reliable Software Technologies, 30-43, 2009
452009
POK, an ARINC653-compliant operating system released under the BSD license
J Delange, L Lec
13th Real-Time Linux Workshop 10, 181-192, 2011
422011
AADL fault modeling and analysis within an ARP4761 safety assessment
J Delange, P Feiler, DP Gluch, J Hudak
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2014
402014
Server failure predictive model
J Delange
US Patent 10,613,962, 2020
232020
Code generation strategies from aadl architectural descriptions targeting the high integrity domain
J Delange, J Hugues, L Pautet, B Zalila
4th European Congress ERTS, Toulouse, 2008
232008
AADL in Practice: Become an expert in software architecture modeling and analysis
J Delange
Reblochon Development Company, 2017
222017
Automated fault tree analysis from aadl models
P Feiler, J Delange
ACM SIGAda Ada Letters 36 (2), 39-46, 2017
192017
Code generation strategies for partitioned systems
J Delange, L Pautet, F Kordon
29th IEEE Real-Time Systems Symposium (RTSS’08), 53-56, 2008
182008
TASTE: An open-source tool-chain for embedded system and software development
M Perrotin, E Conquet, J Delange, T Tsiodras
Embedded Real Time Software and Systems (ERTS2012), 2012
172012
Evaluating and mitigating the impact of complexity in software models
J Delange, J Hudak, W Nichols, J McHale, MY Nam
CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States, 2015
152015
Couverture: an innovative open framework for coverage analysis of safety critical applications
M Bordin, C Comar, T Gingold, J Guitton, O Hainque, T Quinot, J Delange, ...
Ada User Journal 30 (4), 248-255, 2009
142009
Incremental life cycle assurance of safety-critical systems
J Delange, P Feiler, E Neil
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016
132016
Incremental latency analysis of heterogeneous cyber-physical systems
J Delange, P Feiler
Universidad Carlos III de Madrid, 2014
132014
Design, implementation and verification of MILS systems
J Delange, L Pautet, F Kordon
Software: Practice and Experience 42 (7), 799-816, 2012
122012
An MDE-based process for the design, implementation and validation of safety-critical systems
J Delange, L Pautet, J Hugues, D de Niz
2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010
112010
Model-based design and automated validation of ARINC653 architectures using the AADL
J Hugues, J Delange
Cyber-Physical System Design from an Architecture Analysis Viewpoint, 33-52, 2017
102017
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20