Communicating sequential processes
Communicating sequential processes
The C programming language
A communicating Petri net model for the design of concurrent asynchronous modules
DAC '94 Proceedings of the 31st annual Design Automation Conference
Real-time multi-tasking in software synthesis for information processing systems
ISSS '95 Proceedings of the 8th international symposium on System synthesis
Derivation of formal representations from process-based specification and implementation models
ISSS '97 Proceedings of the 10th international symposium on System synthesis
Efficient compilation of process-based concurrent programs without run-time scheduling
Proceedings of the conference on Design, automation and test in Europe
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
The Java Language Specification
The Java Language Specification
Toba: Java For Applications: A Way Ahead of Time (WAT) Compiler
Toba: Java For Applications: A Way Ahead of Time (WAT) Compiler
Hardware compilation for FPGA-based configurable computing machines
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Synthesis of embedded software using free-choice Petri nets
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Compiling Esterel into sequential code
Proceedings of the 37th Annual Design Automation Conference
Task generation and compile-time scheduling for mixed data-control embedded software
Proceedings of the 37th Annual Design Automation Conference
Generation of minimal size code for scheduling graphs
Proceedings of the conference on Design, automation and test in Europe
Formal synthesis and code generation of embedded real-time software
Proceedings of the ninth international symposium on Hardware/software codesign
Concurrent Embedded Real-Time Software Verification
COMPSAC '00 24th International Computer Software and Applications Conference
Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Quasi-Static Scheduling of Independent Tasksfor Reactive Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Extended quasi-static scheduling for formal synthesis and code generation of embedded software
Proceedings of the tenth international symposium on Hardware/software codesign
Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling
VLSID '03 Proceedings of the 16th International Conference on VLSI Design
Synthesis of real-time embedded software with local and global deadlines
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Embedded software generation from system level design languages
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Efficient code generation from SHIM models
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
MTP: a Petri net-based framework for the analysis and transformation of SystemC designs
SCOPES '05 Proceedings of the 2005 workshop on Software and compilers for embedded systems
Quasi-static Scheduling for Concurrent Architectures
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Automating Synthesis of Asynchronous Communication Mechanisms
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Schedulability Analysis of Petri Nets Based on Structural Properties
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Code decomposition and recomposition for enhancing embedded software performance
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
Concurrency and Communication: Lessons from the SHIM Project
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Petri nets and programming: a survey
ACC'09 Proceedings of the 2009 conference on American Control Conference
Buffer sharing in CSP-like programs
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Buffer sharing in rendezvous programs
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - Special section on the ACM IEEE international conference on formal methods and models for codesign (MEMOCODE) 2009
Schedulability Analysis of Petri Nets Based on Structural Properties
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Automating Synthesis of Asynchronous Communication Mechanisms
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Quasi-static Scheduling for Concurrent Architectures
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Hi-index | 0.00 |
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from process-based concurrent specifications without the need for a run-time multi-threading environment. The synthesized C programs can be readily retargeted to different processors using available optimizing C compilers. Our compiler can also generate sequential Java programs as output, which can also be readily mapped to a target processor without the need for a multi-threading environment. Initial results demonstrate significant potentials for improvements over current run-time solutions.