-
1
-
-
70349660175
-
-
The SAE AADL Standard Info Site.
-
The SAE AADL Standard Info Site. http://www.aadl.info/.
-
-
-
-
2
-
-
70349667702
-
-
TOPCASEDHome.
-
TOPCASEDHome. http://topcased-mm.gforge.enseeiht.fr/.
-
-
-
-
4
-
-
70349673858
-
-
The SPICES ITEA Project Website.
-
The SPICES ITEA Project Website. http://www.spices-itea.org/, 2006.
-
(2006)
-
-
-
6
-
-
70349669513
-
-
AADL Simulator Home.
-
AADL Simulator Home. http://www.teisa.unican.es/gim/en/AADS2.php, 2008.
-
(2008)
-
-
-
7
-
-
70349680991
-
-
MAST Home.
-
MAST Home. http://mast.unican.es/, 2008.
-
(2008)
-
-
-
8
-
-
70349673860
-
-
PATHCRAWLER Home.
-
PATHCRAWLER Home. http://www-list.cea.fr/labos/fr/LSL/test/pathcrawler/ index.html, 2008.
-
(2008)
-
-
-
9
-
-
44149126253
-
Automatic composition of AADL models for the verification of critical component-based embedded systems
-
march Belfast, Ireland.
-
H. Balp, E. Borde, G. Haïk, and J.-F. Tilman. Automatic composition of AADL models for the verification of critical component-based embedded systems. In Proc. of the Thirteenth IEEE Int. Conf. on Engineering of Complex Computer Systems (ICECCS), march 2008. Belfast, Ireland.
-
(2008)
Proc. of the Thirteenth IEEE Int. Conf. on Engineering of Complex Computer Systems (ICECCS)
-
-
Balp, H.1
Borde, E.2
Haïk, G.3
Tilman, J.-F.4
-
10
-
-
56349110473
-
Using AADL in model driven development
-
D. Delanote, S. V. Baelen, W. Joosen, and Y. Berbers. Using AADL in model driven development. In IEEE-SEE International Workshop on UML and AADL, ICECCS, 2007.
-
(2007)
IEEE-SEE International Workshop on UML and AADL, ICECCS
-
-
Delanote, D.1
Baelen, S.V.2
Joosen, W.3
Berbers, Y.4
-
11
-
-
44149103189
-
Using AADL to model a protocol stack
-
D. Delanote, S. V. Baelen, W. Joosen, and Y. Berbers. Using AADL to model a protocol stack. In IEEE-SEE International Workshop on UML and AADL, ICECCS, 2008.
-
(2008)
IEEE-SEE International Workshop on UML and AADL, ICECCS
-
-
Delanote, D.1
Baelen, S.V.2
Joosen, W.3
Berbers, Y.4
-
12
-
-
70349669511
-
Energy models of real time operating systems on fpga
-
S. Dhouib, J.-P. Diguet, E. Senn, and J. Laurent. Energy models of real time operating systems on fpga. In Euromicro International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, ECRTS, 2008.
-
(2008)
Euromicro International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, ECRTS
-
-
Dhouib, S.1
Diguet, J.-P.2
Senn, E.3
Laurent, J.4
-
13
-
-
43049160930
-
The sae architecture analysis & design language (AADL) A standard for engineering performance critical systems
-
Munich, october
-
P. Feiler, B. Lewis, and S. Vestal. The sae architecture analysis & design language (AADL) A standard for engineering performance critical systems. In IEEE International Symposium on Computer-Aided Control Systems Design, pages 1206-1211, Munich, october 2006.
-
(2006)
IEEE International Symposium on Computer-Aided Control Systems Design
, pp. 1206-1211
-
-
Feiler, P.1
Lewis, B.2
Vestal, S.3
-
14
-
-
44149120426
-
Rapid prototyping of distributed real-time embedded systems using the AADL and ocarina
-
J. Hugues, B. Zalila, L. Pautet, and F. Kordon. Rapid prototyping of distributed real-time embedded systems using the AADL and ocarina. Rapid System Prototyping, IEEE International Workshop on, 0:106-112, 2007.
-
(2007)
Rapid System Prototyping, IEEE International Workshop on
, vol.0
, pp. 106-112
-
-
Hugues, J.1
Zalila, B.2
Pautet, L.3
Kordon, F.4
-
15
-
-
51549087430
-
Multi-dimensional model based engineering using AADL
-
B. Lewis and P. Feiler. Multi-dimensional model based engineering using AADL. rsp, 0:xv-xviii, 2008.
-
(2008)
RSP
, vol.0
-
-
Lewis, B.1
Feiler, P.2
-
16
-
-
0033892696
-
A classification and comparison framework for software architecture description languages
-
N. Medvidovic. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26:70-93, 2000.
-
(2000)
IEEE Transactions on Software Engineering
, vol.26
, pp. 70-93
-
-
Medvidovic, N.1
-
18
-
-
70349665460
-
-
OMG. The official omg marte web site. May
-
OMG. The official omg marte web site. http://www.omgmarte.org, May 2007.
-
(2007)
-
-
-
19
-
-
44149096845
-
UML & AADL '2007 grand challenges
-
octobre
-
G. Sébastien, P. Feiler, J.-F. Rolland, M. Filali, M.-O. Reiser, D. Delanote, Y. Berbers, L. Pautet, and I. Perseil. UML & AADL '2007 grand challenges. ACM SIGBED Review, A Special Report on UML & AADL Grand Challenges, 4(4), octobre 2007.
-
(2007)
ACM SIGBED Review, A Special Report on UML & AADL Grand Challenges
, vol.4
, Issue.4
-
-
Sébastien, G.1
Feiler, P.2
Rolland, J.-F.3
Filali, M.4
Reiser, M.-O.5
Delanote, D.6
Berbers, Y.7
Pautet, L.8
Perseil, I.9
-
20
-
-
33244490276
-
SEI. OSATE: An extensible source AADL tool environment
-
December
-
SEI. OSATE: An extensible source AADL tool environment. Technical report, SEI AADL Team technical Report, December 2004.
-
(2004)
Technical Report, SEI AADL Team Technical Report
-
-
-
21
-
-
67650468948
-
Refining power consumption estimations in the component based AADL design flow
-
Stuttgart, Germany, september
-
E. Senn, J. Laurent, E. Juin, and J. Diguet. Refining power consumption estimations in the component based AADL design flow. In FDL'08, ECSI Forum on specification & Design Languages, pages 1206-1211, Stuttgart, Germany, september 2008.
-
(2008)
FDL'08, ECSI Forum on Specification & Design Languages
, pp. 1206-1211
-
-
Senn, E.1
Laurent, J.2
Juin, E.3
Diguet, J.4
-
22
-
-
33244475152
-
Scheduling and memory requirements analysis with AADL
-
Atlanta, GA, USA.
-
F. Singhoff, J. Legrand, L. Nana, and L. Marc. Scheduling and memory requirements analysis with AADL. In Proceedings of the 2005 annual ACM SIGAda international conference on Ada, 2005. Atlanta, GA, USA.
-
(2005)
Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada
-
-
Singhoff, F.1
Legrand, J.2
Nana, L.3
Marc, L.4
|