ExtendJ: extensible Java compiler

Öqvist, Jesper

doi:10.1145/3191697.3213798

Cited by 4 publications

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Attribute grammars are a suitable modeling approach, since they provide integrated declarative static analysis by adding semantic-defining attributes to non-terminal nodes in the AST which are formally specified using equations [30] in the JastAdd system, these equations are defined in a Java-based DSL and thus offer similar features as Java methods. Furthermore, attribute grammars and RAGs were developed specifically for construction of compilers [31]- [33], which our approach classifies for as well, because we transform a source language (a configuration file and a message specification) into a target language (VHDL). In our toolchain, the general idea for the use of attributes is the generation of tailored code for specific messages.…”

Section: Characteristics Of the Model-driven Toolchainmentioning

confidence: 99%

Model-Based Approach for Automatic Generation of Hardware Architectures for Robotics

Podlubne¹,

Mey

Schöne

et al. 2021

IEEE Access

View full text Add to dashboard Cite

Increasingly complex robotic platforms incorporate heterogeneous sensors and actuators. They are usually coupled with embedded computers but relying on software solutions not entirely suited for processing large amount of data concurrently and fast enough to keep real-time constrains. FPGAs are ideal candidates to enhance those systems computing capabilities while still being programmable. However, it is cumbersome to manually incorporate them into new or existing systems because providing accelerators with a specific integration capability limits their applicability. This work presents an approach to integrate multiple hardware accelerators into a robotic system. A model-based toolchain automatically generates the necessary hardware components (VHDL modules) from existing message specifications to exchange data with the accelerators. The goal is to seamlessly replace software components with FPGAbased ones while retaining the same communication interface. Instead of writing several hundred lines of VHDL, a dozen input specification lines are sufficient with our approach. The results are validated through an evaluation of all message specifications included in the latest Robot Operating System (ROS) versions. The 2295 messages evaluated show the robustness in our capabilities to support arbitrarily large ROS messages types, multiple data types, and nested messages. Moreover, our approach facilitates the extension from ROS1 to provide support for ROS2 easily. Finally, two use cases are shown to prove the feasibility of our approach on real applications. The first one incorporates a High Level Synthesis (HLS) hardware accelerator for image processing into an existing software architecture. The second one consists of a fully FPGA-based mobile platform with ROS features incorporated.

show abstract

Section: Characteristics Of the Model-driven Toolchainmentioning

confidence: 99%

Model-Based Approach for Automatic Generation of Hardware Architectures for Robotics

Podlubne¹,

Mey

Schöne

et al. 2021

IEEE Access

View full text Add to dashboard Cite

show abstract

“…The Mungo tool is a Java front-end tool used to statically typecheck typestate specifications for Java classes. The tool is implemented in Java using the ExtendJ framework [25,38], a meta-compiler based on reference attribute grammars.…”

Section: Mungomentioning

confidence: 99%

Typechecking Java Protocols with [St]Mungo

Voinea

Dardha

2020

Formal Techniques for Distributed Objects, Components, and Systems

View full text Add to dashboard Cite

This is a tutorial paper on [St]Mungo, a toolchain based on multiparty session types and their connection to typestates for safe distributed programming in Java language. The StMungo ("Scribble-to-Mungo") tool is a bridge between multiparty session types and typestates. StMungo translates a communication protocol, namely a sequence of sends and receives of messages, given as a multiparty session type in the Scribble language, into a typestate specification and a Java API skeleton. The generated API skeleton is then further extended with the necessary logic, and finally typechecked by Mungo. The Mungo tool extends Java with (optional) typestate specifications. A typestate is a state machine specifying a Java object protocol, namely the permitted sequence of method calls of that object. Mungo statically typechecks that method calls follow the object's protocol, as defined by its typestate specification. Finally, if no errors are reported, the code is compiled with javac and run as standard Java code. In this tutorial paper we give an overview of the stages of the [St]Mungo toolchain, starting from Scribble communication protocols, translating to Java classes with typestates, and finally to typechecking method calls with Mungo. We illustrate the [St]Mungo toolchain via a real-world case study, the HTTP client-server request-response protocol over TCP. During the tutorial session, we will apply [St]Mungo to a range of examples having increasing complexity, with HTTP being one of them.

show abstract

Towards Cooperative Games for Developing Secure Software in Agile SDLC

Vaidhyanathan

Javadi

et al. 2022

2022 IEEE/ACIS 23rd International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distribu

View full text Add to dashboard Cite

ExtendJ: extensible Java compiler

Cited by 4 publications

References 11 publications

Model-Based Approach for Automatic Generation of Hardware Architectures for Robotics

Model-Based Approach for Automatic Generation of Hardware Architectures for Robotics

Typechecking Java Protocols with [St]Mungo

Towards Cooperative Games for Developing Secure Software in Agile SDLC

Contact Info

Product

Resources

About