Towards standard-based specification and design of embedded real-time systems

被引：0
|
作者：
Gumzej, R [1 ]
Colnaric, M [1 ]
Verber, D [1 ]
Halang, WA [1 ]
机构：
[1] Univ Maribor, Fac Elect Engn & Comp Sci, SI-2000 Maribor, Slovenia
来源：
24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2 | 1998年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Real-time Systems and in particular Embedded Systems have been known to be built as works of art until recently. Nowadays standard hardware components are being used and scalable standardized operating systems are being built. There have been many attempts for simplification of design of these systems through the use of standard mechanisms and components, bur many have failed due to the specific nature of their applications.
引用
收藏
页码：453 / 460
页数：4
相关论文
共 50 条
  • [41] Specification and analysis of real-time systems using Real-Time Maude
    Ölveczky, PC
    Meseguer, J
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 354 - 358
  • [42] Specification-based testing for real-time reactive systems
    Alagar, VS
    Ormandjieva, O
    Zheng, M
    [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS - TOOLS 34, PROCEEDINGS, 2000, : 25 - 36
  • [43] REAL-TIME EAR DETECTION BASED ON EMBEDDED SYSTEMS
    Yuan, Li
    Lu, Fei
    [J]. PROCEEDINGS OF 2018 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOL 1, 2018, : 115 - 120
  • [44] VMM-based Real-Time Embedded Systems
    Lei, Jian
    Yang, Xia
    Xiong, Guangze
    Jiang, Wei
    Liao, Yong
    [J]. 2008 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS SYMPOSIA, PROCEEDINGS, 2008, : 213 - 218
  • [45] FORMAL METHODS FOR THE SPECIFICATION AND DESIGN OF REAL-TIME SAFETY CRITICAL SYSTEMS
    OSTROFF, JS
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1992, 18 (01) : 33 - 60
  • [46] Incremental design of a state machine specification for mobile and real-time systems
    Itabashi, G
    Takahashi, K
    Kato, Y
    Suganuma, T
    Shiratori, N
    [J]. 19th International Conference on Advanced Information Networking and Applications, Vol 1, Proceedings: AINA 2005, 2005, : 99 - 104
  • [47] Safe Design Real-time Embedded Systems with Security Patterns
    Ben Mansour, Ahmed
    Naija, Mohamed
    Ben Ahmed, Samir
    [J]. PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), 2019, : 459 - 463
  • [48] Special issue: Advances in real-time embedded systems design
    Heechul Yun
    Cong Liu
    [J]. Real-Time Systems, 2023, 59 : 199 - 200
  • [49] A Cache Design Assessment Approach for Embedded Real-time Systems Based on Execution Time Measurement
    Dias, Dario
    Lima, George
    Barros, Edna
    [J]. 2016 VI BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC 2016), 2016, : 168 - 173
  • [50] Special issue: Advances in real-time embedded systems design
    Yun, Heechul
    Liu, Cong
    [J]. REAL-TIME SYSTEMS, 2023, 59 (02) : 199 - 200
12345