Design and specification of embedded systems in Java']Java using successive, formal refinement

被引：0

作者：

Young, JS ^{[1
]}

MacDonald, J ^{[1
]}

Shilman, M ^{[1
]}

Tabbara, A ^{[1
]}

Hilfinger, P ^{[1
]}

Newton, AR ^{[1
]}

机构：

[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA

来源：

1998 DESIGN AUTOMATION CONFERENCE, PROCEEDINGS | 1998年

关键词：

D O I：

暂无

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Synchronous Reactive systems, and Java is used as the design input language. A policy of use is applied to Java, in the form of language usage restrictions and class-library extensions, to ensure consistency with the formal model. A process of incremental, user-guided program transformation is used to refine a Java program until it is consistent with the policy of use. The final product is a system specification possessing the properties of the formal model, including deterministic behavior, bounded memory usage and bounded execution time. This approach allows systems design to begin with the flexibility of a general-purpose language, followed by gradual refinement into a more restricted form necessary for specification.

引用

页码：70 / 75

页数：6

共 50 条

[41] Java']Java-through-C compilation: An enabling technology for Java']Java in embedded systems
Varma, A
Bhattacharyya, SS
[J]. DESIGNERS' FORUM: DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2004, : 161 - 166
[42] Coordinating Exceptions of Java']Java Systems: Implementation and Formal Verification
Hanazumi, Simone
de Melo, Ana C. V.
[J]. 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), 2012, : 108 - 113
[43] A Formal Approach to implement java']java exceptions in cooperative systems
Hanazumi, Simone
de Melo, Ana C. V.
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2017, 131 : 475 - 490
[44] Enhanced SDL subset for the design and implementation of Java']Java-enabled embedded signalling systems
Kavadias, C
Perrin, B
Kollias, V
Loupis, M
[J]. SDL 2003: SYSTEM DESIGN, PROCEEDINGS, 2003, 2708 : 137 - 149
[45] TEACHING EMBEDDED CONTROL USING CONCURRENT JAVA']JAVA
Rekdalsbakken, Webjorn
Osen, Ottar L.
[J]. 23RD EUROPEAN CONFERENCE ON MODELLING AND SIMULATION (ECMS 2009), 2009, : 738 - 744
[46] Performance Study for Java']Java Virtual Machine In Embedded Systems
Liu Wenjun
[J]. 2010 THE 3RD INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND INDUSTRIAL APPLICATION (PACIIA2010), VOL I, 2010, : 436 - 438
[47] Realization of platform based on Java']Java technology for embedded systems
Deng, AQ
Yu, HJ
Hu, SX
[J]. ESA'04 & VLSI'04, PROCEEDINGS, 2004, : 199 - 205
[48] Diab Industry's Java']Java compiler for embedded systems
不详
[J]. COMPUTER, 1998, 31 (11) : 114 - 115
[49] Restrictions of Java']Java for embedded real-time systems
Schoeberl, M
[J]. SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2004, : 93 - 100
[50] Compiling Java']Java for low-end embedded systems
Schultz, UP
Burgaard, K
Christensen, FG
[J]. ACM SIGPLAN NOTICES, 2003, 38 (07) : 42 - 50

← 1 2 3 4 5 →