Paper Info
Title
SyncGen: An Aspect-Oriented Framework for Synchronization
Abstract
This paper describes SyncGen - a tool for automatically synthesizing complex synchronization implementations from formal high-level specifications. In SyncGen, synchronization specifications are phrased using first-order logic or user-friendly specification patterns. From a high-level specification, a language independent synchronization solution in an intermediate guarded-command language is synthesized. Back-end translators can translate this intermediate solution into a variety of implementation frameworks including Java, C++/C with POSIX threads, and Controller Area Network message passing primitives. SyncGen has been used extensively in courses at Kansas State University. Its breadth of applicability has been demonstrated by using it to solve virtually all of the exercises given in the well-known concurrency text books of Andrews[1,2] and Hartley[4], as well as a variety of real-world problems in the embedded computing domain. The tool, along with supporting documentation and an example repository, is publicly available [6].
Year
DOI
Venue
2004
10.1007/978-3-540-24730-2_13
Lecture Notes in Computer Science
Keywords
Field
DocType
controller area network,message passing,embedded computing,aspect oriented,first order logic
Synchronization,Programming language,Aspect-oriented programming,Computer science,Concurrency,POSIX Threads,Formal specification,High-level programming language,Message passing,Software development
Conference
Volume
ISSN
Citations 
2988
0302-9743
2
PageRank 
References 
Authors
0.63
3
4
Name
Order
Citations
PageRank
Xianghua Deng117011.13
Matthew Dwyer23998289.30
John Hatcliff32373212.83
Masaaki Mizuno433834.49