-
1
-
-
0031097394
-
Design of embedded systems: Formal models, validation, and synthesis
-
Mar.
-
S. Edwards, L. Lavagno, E. A. Lee, and A. Sangiovanni-Vincentelli, "Design of embedded systems: Formal models, validation, and synthesis," Proc. IEEE, vol.85, no.3, pp. 366-390, Mar. 1997.
-
(1997)
Proc. IEEE
, vol.85
, Issue.3
, pp. 366-390
-
-
Edwards, S.1
Lavagno, L.2
Lee, E.A.3
Sangiovanni-Vincentelli, A.4
-
2
-
-
33748419494
-
System level design paradigms: Platform-based design and communication synthesis
-
Jul.
-
A. Pinto, A. Bonivento, A. L. Sangiovanni-Vincentelli, R. Passerone, and M. Sgroi, "System level design paradigms: Platform-based design and communication synthesis," ACM Trans. Design Autom. Electron. Syst., vol.11, no.3, pp. 537-563, Jul. 2006.
-
(2006)
ACM Trans. Design Autom. Electron. Syst.
, vol.11
, Issue.3
, pp. 537-563
-
-
Pinto, A.1
Bonivento, A.2
Sangiovanni-Vincentelli, A.L.3
Passerone, R.4
Sgroi, M.5
-
3
-
-
0347946829
-
BALBOA: A component-based design environment for system models
-
Dec.
-
F. Doucet, S. Shukla, M. Otsuka, and R. Gupta, "BALBOA: A component-based design environment for system models," IEEE Trans. Comput.-Aided Design of Integr. Circuits and Syst., vol.22, no.12, pp. 1597-1612, Dec. 2003.
-
(2003)
IEEE Trans. Comput.-Aided Design of Integr. Circuits and Syst.
, vol.22
, Issue.12
, pp. 1597-1612
-
-
Doucet, F.1
Shukla, S.2
Otsuka, M.3
Gupta, R.4
-
4
-
-
0034428118
-
System-level design: Orthogonalization of concerns and platform-based design
-
Dec.
-
K. Keutzer, S.Malik, A. R. Newton, J. M. Rabaey, and A. Sangiovanni-Vincentelli, "System-level design: Orthogonalization of concerns and platform-based design," IEEE Trans. Comput.-Aided Design of Integr. Circuits and Syst., vol.19, no.12, pp. 1523-1543, Dec. 2000.
-
(2000)
IEEE Trans. Comput.-Aided Design of Integr. Circuits and Syst.
, vol.19
, Issue.12
, pp. 1523-1543
-
-
Keutzer, K.1
Malik, S.2
Newton, A.R.3
Rabaey, J.M.4
Sangiovanni-Vincentelli, A.5
-
5
-
-
0037653969
-
Guide to the use of the Ada Ravenscar Profile in high integrity systems
-
University of York, York, U.K. [Online]. Available:
-
A. Burns, B. Dobbing, and T. Vardanega, Guide to the use of the Ada Ravenscar Profile in high integrity systems, University of York, York, U.K., Tech. Rep. YCS-2003-2348, 2003. [Online]. Available: http://www.cs.york.ac.uk/ ftpdr/reports/YCS-2003-348.pdf
-
(2003)
Tech. Rep. YCS-2003-2348
-
-
Burns, A.1
Dobbing, B.2
Vardanega, T.3
-
7
-
-
49649102745
-
From model-driven development to model-driven engineering
-
[Online]. Available
-
B. Selic, "From model-driven development to model-driven engineering," Keynote Talk at ECRTS'07. [Online]. Available: http://feanor.sssup.it/ecrts07/keynotes/k1-selic.pdf
-
Keynote Talk at ECRTS'07
-
-
Selic, B.1
-
8
-
-
33344465743
-
Model-driven engineering
-
Feb.
-
D. Schmidt, "Model-driven engineering," IEEE Computer, pp. 25-31, Feb. 2006.
-
(2006)
IEEE Computer
, pp. 25-31
-
-
Schmidt, D.1
-
10
-
-
77952108560
-
A generic model of contracts for embedded systems
-
Jun.
-
A. Benveniste, B. Caillaud, and R. Passerone, "A generic model of contracts for embedded systems," Institut National de Recherche en Informatique et en Automatique, Rapport de Recherche 6214, Jun. 2007.
-
(2007)
Institut National de Recherche en Informatique et en Automatique, Rapport de Recherche
, vol.6214
-
-
Benveniste, A.1
Caillaud, B.2
Passerone, R.3
-
11
-
-
67650492988
-
A contract-based formalism for the specification of heterogeneous systems
-
Stuttgart, Germany, Sep. 23-25
-
L. Benvenuti, A. Ferrari, L. Mangeruca, E. Mazzi, R. Passerone, and C. Sofronis, "A contract-based formalism for the specification of heterogeneous systems," in Proc. Forum on Specification & Design Languages (FDL'08), Stuttgart, Germany, Sep. 23-25, 2008.
-
(2008)
Proc. Forum on Specification & Design Languages (FDL'08)
-
-
Benvenuti, L.1
Ferrari, A.2
Mangeruca, L.3
Mazzi, E.4
Passerone, R.5
Sofronis, C.6
-
12
-
-
56349087868
-
Functional and structural properties in the model-driven engineering approach
-
Hamburg, Germany, Sep. 15-8
-
D. Cancila and R. Passerone, "Functional and structural properties in the model-driven engineering approach," in Proc. 13th IEEE Int. Conf. Emerging Technol. Factory Autom. (ETFA08), Hamburg, Germany, Sep. 15-8, 2008.
-
(2008)
Proc. 13th IEEE Int. Conf. Emerging Technol. Factory Autom. (ETFA08)
-
-
Cancila, D.1
Passerone, R.2
-
14
-
-
10444223069
-
On the dynamic semantics and the timing behaviour of Ravenscar kernels
-
New York: Springer
-
T. Vardanega, J. Zamorano, and J. de la Puente, "On the dynamic semantics and the timing behaviour of Ravenscar kernels," in In Real-Time Systems. New York: Springer, 2005, vol.29, pp. 58-89.
-
(2005)
Real-Time Systems
, vol.29
, pp. 58-89
-
-
Vardanega, T.1
Zamorano, J.2
De La Puente, J.3
-
15
-
-
84884692467
-
MAST: Modeling and analysis suite for real-time applications
-
The Netherlands Jun. [Online]. Available:
-
M. Gonzáles Harbour, J. J. Gutiérrez, J. C. Palencia, and J. M. Drake, "MAST: Modeling and analysis suite for real-time applications," in Proc. Euromicro Conf. Real-Time Syst., Delft, The Netherlands, Jun. 2001. [Online]. Available: http://mast.unican.es
-
(2001)
Proc. Euromicro Conf. Real-Time Syst., Delft
-
-
Gonzáles Harbour, M.1
Gutiérrez, J.J.2
Palencia, J.C.3
Drake, J.M.4
-
16
-
-
58049088502
-
Correctness by construction: A manifesto for high integrity software
-
Australian Computer Society, Inc.
-
R. Chapman, "Correctness by construction: A manifesto for high integrity software," in Proc. 10th Australian Workshop on Safety Critical Syst. Softw., , 2006, Australian Computer Society, Inc..
-
(2006)
Proc. 10th Australian Workshop on Safety Critical Syst. Softw.
-
-
Chapman, R.1
-
17
-
-
34547229287
-
Realizing the benefits of formal methods
-
A. Hall, "Realizing the benefits of formal methods," J. Universal Comput. Sci., vol.13, no.5, pp. 669-678, 2007.
-
(2007)
J. Universal Comput. Sci.
, vol.13
, Issue.5
, pp. 669-678
-
-
Hall, A.1
-
18
-
-
26444495537
-
Embedded systems-Challenges and work directions
-
LNCS
-
J. Sifakis, "Embedded systems-Challenges and work directions," in Principles of Distributed Systems LNCS, 2005, vol.3544.
-
(2005)
Principles of Distributed Systems
, vol.3544
-
-
Sifakis, J.1
-
19
-
-
85043030917
-
-
[Online]. Available
-
OMG. [Online]. Available: http://www.omg.org/
-
-
-
-
20
-
-
84977499405
-
Composability for highintegrity real-time embedded systems
-
Barcelona, Spain, Nov. 30
-
D. Cancila, R. Passerone, and T. Vardanega, "Composability for highintegrity real-time embedded systems," in Proc. 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 08), Barcelona, Spain, Nov. 30, 2008.
-
(2008)
Proc. 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 08)
-
-
Cancila, D.1
Passerone, R.2
Vardanega, T.3
-
22
-
-
41549096162
-
Style based reconfigurations of software architectures
-
Università di Pisa, Pisa, Italy
-
R. Bruni, A. Lluch Lafuente, U. Montanari, and E. Tuosto, "Style based reconfigurations of software architectures," Università di Pisa, Pisa, Italy, Tech. Rep. TR-07-17, 2007.
-
(2007)
Tech. Rep. TR-07-17
-
-
Bruni, R.1
Lluch Lafuente, A.2
Montanari, U.3
Tuosto, E.4
-
23
-
-
84926020762
-
Reo: A channel-based coordination model for component composition
-
F. Arbab, "Reo: A channel-based coordination model for component composition," Mathematical. Structures in Comp. Sci., vol.14, no.3, pp. 329-366, 2004.
-
(2004)
Mathematical. Structures in Comp. Sci.
, vol.14
, Issue.3
, pp. 329-366
-
-
Arbab, F.1
-
24
-
-
34547471004
-
Incremental schedulability analysis of hierarchical real-time components
-
A. Easwaran, I. Shin, O. Sokolsky, and I. Lee, "Incremental schedulability analysis of hierarchical real-time components," in Proc. EMSOFT 2006, 2006, pp. 272-281.
-
(2006)
Proc. EMSOFT
, vol.2006
, pp. 272-281
-
-
Easwaran, A.1
Shin, I.2
Sokolsky, O.3
Lee, I.4
-
25
-
-
85043048892
-
On the complexity of generating optimal interfaces for hierarchical systems
-
A. Easwaran, M. Anand, I. Lee, and O. Sokolsky, "On the complexity of generating optimal interfaces for hierarchical systems," in Proc. 1th Int.Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2008.
-
(2008)
Proc. 1th Int.Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS)
-
-
Easwaran, A.1
Anand, M.2
Lee, I.3
Sokolsky, O.4
-
26
-
-
85043079317
-
A metamodel-driven process featuring advanced model-based timing analysis
-
Berlin, Germany: Springer-Verlag
-
M. Panunzio and T. Vardanega, "A metamodel-driven process featuring advanced model-based timing analysis," in Ada-Europe 2007. Berlin, Germany: Springer-Verlag, 2007.
-
(2007)
Ada-Europe 2007
-
-
Panunzio, M.1
Vardanega, T.2
-
27
-
-
33746039677
-
Hierarchical scheduling with Ada 2005
-
Porto, Portugal, Jun. 5-9 LNCS 4006 ISBN: 978-3-540-34663-0
-
J. A. Pulido, S. Urueña, J. Zamorano, T. Vardanega, and J. A. de la Puente, "Hierarchical scheduling with Ada 2005," in Proc. 11th Ada Europe Int. Conf. , Porto, Portugal, Jun. 5-9, 2006, LNCS 4006, pp. 1-12, ISBN: 978-3-540-34663-0.
-
(2006)
Proc. 11th Ada Europe Int. Conf.
, pp. 1-12
-
-
Pulido, J.A.1
Urueña, S.2
Zamorano, J.3
Vardanega, T.4
De La Puente, J.A.5
-
28
-
-
33846663878
-
A methodology for designing hierarchical scheduling systems
-
Apr. ISSN:1740-4460
-
E. Bini and G. Lipari, "A methodology for designing hierarchical scheduling systems," J. Embedded Comput., vol.1, no.2, pp. 257-269, Apr. 2005, ISSN:1740-4460.
-
(2005)
J. Embedded Comput.
, vol.1
, Issue.2
, pp. 257-269
-
-
Bini, E.1
Lipari, G.2
-
29
-
-
38549107072
-
The algebra of connectors-Structuring interaction in BIP
-
S. Bliudze and J. Sifakis, "The algebra of connectors-Structuring interaction in BIP," in Proc. Int. Conf. EMSOFT, 2007, pp. 11-20.
-
(2007)
Proc. Int. Conf. EMSOFT
, pp. 11-20
-
-
Bliudze, S.1
Sifakis, J.2
-
30
-
-
26444495011
-
Non-intrusive system level fault-tolerance
-
K. Lundqvist, J. Srinivasan, and S. Gorelov, "Non-intrusive system level fault-tolerance," Reliable Software Technologies-Ada-Europe, pp. 156-166, 2005.
-
(2005)
Reliable Software Technologies-Ada-Europe
, pp. 156-166
-
-
Lundqvist, K.1
Srinivasan, J.2
Gorelov, S.3
-
31
-
-
0037262562
-
A Ravenscar-compliant run-time kernel for safety-critical systems
-
K. Lundqvist and L. Asplund, "A Ravenscar-compliant run-time kernel for safety-critical systems," Real-Time Systems, vol.24, no.1, pp. 29-54, 2003.
-
(2003)
Real-Time Systems
, vol.24
, Issue.1
, pp. 29-54
-
-
Lundqvist, K.1
Asplund, L.2
-
32
-
-
0242527742
-
Model-integrated development of embedded software
-
Jan.
-
G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty, "Model-integrated development of embedded software," Proc. IEEE, vol.91, no.1, Jan. 2003.
-
(2003)
Proc. IEEE
, vol.91
, Issue.1
-
-
Karsai, G.1
Sztipanovits, J.2
Ledeczi, A.3
Bapty, T.4
-
33
-
-
33750046118
-
-
California, Berkeley, Tech. Rep. UCB/ERL M05/21, Jul. Introduction to Ptolemy II
-
C. Brooks, E. Lee, X. Liu, S. Neuendorffer, Y. Zhao, and H. Z. , Heterogeneous concurrent modeling and design in Java Univ. California, Berkeley, Tech. Rep. UCB/ERL M05/21, Jul. 2005, vol.1, Introduction to Ptolemy II.
-
(2005)
Heterogeneous Concurrent Modeling and Design in Java Univ
, vol.1
-
-
Brooks, C.1
Lee, E.2
Liu, X.3
Neuendorffer, S.4
Zhao, Y.5
-
34
-
-
0344951184
-
Metropolis: An integrated electronic system design environment
-
Apr.
-
F. Balarin et al., "Metropolis: An integrated electronic system design environment," Comput. Mag., pp. 45-52, Apr. 2003.
-
(2003)
Comput. Mag.
, pp. 45-52
-
-
Balarin, F.1
-
35
-
-
33947586819
-
Heterogeneous behavioral hierarchy extensions for system C
-
H. D. Patel, S. K. Shukla, and R. A. Bergamaschi, "Heterogeneous behavioral hierarchy extensions for system C," IEEE Trans. Comput.-Aided Design of Integr. Circuits and Syst., vol.26, no.4, pp. 765-780, 2007.
-
(2007)
IEEE Trans. Comput.-Aided Design of Integr. Circuits and Syst.
, vol.26
, Issue.4
, pp. 765-780
-
-
Patel, H.D.1
Shukla, S.K.2
Bergamaschi, R.A.3
-
40
-
-
47149092831
-
MDA tool components: A proposal for packaging know-how in model driven development
-
Jul.
-
R. Bendraou, P. Desfray, M. Gervais, and A. Muller, "MDA tool components: A proposal for packaging know-how in model driven development," Software and Systems Modeling, vol.7, no.3, pp. 329-343, Jul. 2008.
-
(2008)
Software and Systems Modeling
, vol.7
, Issue.3
, pp. 329-343
-
-
Bendraou, R.1
Desfray, P.2
Gervais, M.3
Muller, A.4
-
41
-
-
68449099648
-
Metamodels in europe: Languages, tools, and applications
-
May/Jun.
-
R. Passerone, I. B. Hafaiedh, S. Graf, A. Benveniste, D. Cancila, A. Cuccuru, S. Gérard, F. Terrier,W. Damm, A. Ferrari, L. Mangeruca, B. Josko, T. Peikenkamp, and A. Sangiovanni-Vincentelli, "Metamodels in europe: Languages, tools, and applications," IEEE Design & Test of Computers, vol.26, no.3, pp. 38-53, May/Jun. 2009.
-
(2009)
IEEE Design & Test of Computers
, vol.26
, Issue.3
, pp. 38-53
-
-
Passerone, R.1
Hafaiedh, I.B.2
Graf, S.3
Benveniste, A.4
Cancila, D.5
Cuccuru, A.6
Gérard, S.7
Terrier, F.8
Damm, W.9
Ferrari, A.10
Mangeruca, L.11
Josko, B.12
Peikenkamp, T.13
Sangiovanni-Vincentelli, A.14
-
43
-
-
85043081564
-
-
[Online]. Available
-
ASSERT Project, [Online]. Available: http://www.assert-project.net
-
-
-
-
45
-
-
85043070391
-
-
ISO SC22/WG9 " Ada Reference Manual. Language and Standard Libraries. Consolidated Standard ISO/IEC 8652:1995(E)With Technical Corrigendum 1 and Amendment 1" 2005
-
ISO SC22/WG9, "Ada Reference Manual. Language and Standard Libraries. Consolidated Standard ISO/IEC 8652:1995(E)With Technical Corrigendum 1 and Amendment 1," 2005, .
-
-
-
-
46
-
-
84974687699
-
Scheduling algorithms for multiprogramming in a hard-real-time environment
-
C. L. Liu and J. W. Layland, "Scheduling algorithms for multiprogramming in a hard-real-time environment," J. ACM, vol.20, no.1, pp. 46-61, 1973.
-
(1973)
J. ACM
, vol.20
, Issue.1
, pp. 46-61
-
-
Liu, C.L.1
Layland, J.W.2
-
47
-
-
0022796618
-
Finding response times in a real-time system
-
M. Joseph and P. K. Pandya, "Finding response times in a real-time system," Comput. J., vol.29, no.5, pp. 390-395, 1986.
-
(1986)
Comput. J.
, vol.29
, Issue.5
, pp. 390-395
-
-
Joseph, M.1
Pandya, P.K.2
-
48
-
-
79956011614
-
The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks
-
J. B. Goodenough and L. Sha, "The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks," in Proc. 2nd Int. Workshop on Real-Time Ada Issues, 1988, pp. 20-31.
-
(1988)
Proc. 2nd Int. Workshop on Real-Time Ada Issues
, pp. 20-31
-
-
Goodenough, J.B.1
Sha, L.2
-
52
-
-
52049122324
-
Fitting schedulability analysis theory into model-driven engineering
-
Jul.
-
M. Bordin, M. Panunzio, and T. Vardanega, "Fitting schedulability analysis theory into model-driven engineering," in Proc. IEEE Euromicro Conf. Real-Time Syst. (ECRTS 08), Jul. 2008, pp. 135-144.
-
(2008)
Proc. IEEE Euromicro Conf. Real-Time Syst. (ECRTS 08)
, pp. 135-144
-
-
Bordin, M.1
Panunzio, M.2
Vardanega, T.3
-
53
-
-
85043031607
-
-
[Online]. Available
-
[Online]. Available: http://www.eclipse.org/modeling
-
-
-
|