Methodology and case tools in real-time embedded systems

被引：2
|
作者：
Cooling, JE
机构：
[1] Dept. of Electron. and Elec. Eng., Loughborough Univ. of Technology
来源：
INTERNATIONAL JOURNAL OF ELECTRICAL ENGINEERING EDUCATION | 1996年 / 33卷 / 02期
关键词：
D O I：
10.1177/002072099603300206
中图分类号：
G40 [教育学];
学科分类号：
040101 ; 120403 ;
摘要：
This paper discusses key aspects of software engineering methods and associated CASE (Computer Aided Software Engineering) tools in the undergraduate curriculum. The context is that of first degree courses in Electronic, Electrical and Systems Engineering, with particular reference to real-time embedded systems.
引用
收藏
页码：165 / 178
页数：14
相关论文
共 50 条
  • [31] Scheduling for embedded real-time systems
    Balarin, F
    Lavagno, L
    Murphy, P
    Sangiovanni-Vincentelli, A
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1998, 15 (01): : 71 - 82
  • [32] TOOLS FOR SPECIFYING REAL-TIME SYSTEMS
    BUCCI, G
    CAMPANAI, M
    NESI, P
    [J]. REAL-TIME SYSTEMS, 1995, 8 (2-3) : 117 - 172
  • [33] New tools for testing real-time embedded software
    Crooks, R
    [J]. ELECTRONIC ENGINEERING, 1996, 68 (831): : 95 - &
  • [34] New tools for testing real-time embedded software
    [J]. Electronic Engineering (London), 1996, 68 (831):
  • [35] Bounding worst case garbage collection time for embedded real-time systems
    Kim, T
    Chang, N
    Shin, H
    [J]. SIXTH IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2000, : 46 - 55
  • [36] A methodology and support tools for analysis of real-time specifications
    Stuart, DA
    Mok, AK
    Jahanian, F
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1996, 6 (03) : 401 - 426
  • [37] Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS
    Andrade, Wilkerson L.
    Machado, Patricia D. L.
    Alves, Everton L. G.
    Almeida, Diego R.
    [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2009, 5902 : 54 - 69
  • [38] Towards a traceability model in a MARTE-based methodology for real-time embedded systems
    Hung Le Dang
    Hubert Dubois
    Sébastien Gérard
    [J]. Innovations in Systems and Software Engineering, 2008, 4 (3) : 189 - 193
  • [39] Towards a traceability model in a MARTE-based methodology for real-time embedded systems
    Le Dang, Hung
    Dubois, Hubert
    Gerard, Sebastien
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (03) : 189 - 193
  • [40] Embedded real-time objects: When Java']Java meets CORBA in embedded real-time systems
    Gien, M
    Tombroff, M
    [J]. WESCON/97 - CONFERENCE PROCEEDINGS, 1997, : 408 - 417
12345