Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks

Background The field of synthetic biology promises to revolutionize our ability to engineer biological systems, providing important benefits for a variety of applications. Recent advances in DNA synthesis and automated DNA assembly technologies suggest that it is now possible to construct synthetic systems of significant complexity. However, while a variety of novel genetic devices and small engineered gene networks have been successfully demonstrated, the regulatory complexity of synthetic systems that have been reported recently has somewhat plateaued due to a variety of factors, including the complexity of biology itself and the lag in our ability to design and optimize sophisticated biological circuitry. Methodology/Principal Findings To address the gap between DNA synthesis and circuit design capabilities, we present a platform that enables synthetic biologists to express desired behavior using a convenient high-level biologically-oriented programming language, Proto. The high level specification is compiled, using a regulatory motif based mechanism, to a gene network, optimized, and then converted to a computational simulation for numerical verification. Through several example programs we illustrate the automated process of biological system design with our platform, and show that our compiler optimizations can yield significant reductions in the number of genes () and latency of the optimized engineered gene networks. Conclusions/Significance Our platform provides a convenient and accessible tool for the automated design of sophisticated synthetic biological systems, bridging an important gap between DNA synthesis and circuit design capabilities. Our platform is user-friendly and features biologically relevant compiler optimizations, providing an important foundation for the development of sophisticated biological systems.National Institutes of Health (U.S.) (Grant # 7R01GM74712-5)United States. Defense Advanced Research Projects Agency (contract HR0011-10-C-0168)National Science Foundation (U.S.) (NSF CAREER award 0968682)BBN Technologie

Quality-driven SoC architecture synthesis for embedded applications.

The recent spectacular progress in modern nanoelectronics created a big stimulus towards development of SoCs for embedded applications. Unfortunately, it also introduced unusual silicon and system complexity and heterogeneity, which result in many serious SoC development issues. Additional difficult to solve issues are due to very high throughput and low energy demands of many modern embedded applications. These issues cannot be resolved without new more adequate system architecture concepts, as well as, methods and EDA-tools for an adequate system-level design exploration and multi-objective optimal system architecture synthesis. This tutorial discusses the problems of multi-objective optimal architecture synthesis and trade-off exploitation for complex hard real-time embedded heterogeneous multi-processor SoCs, and model-based semi-automatic architecture synthesis methods that enable its effective and efficient solution. It thoroughly discusses the abstract models of the architecture design issue that involve the abstract system behavior models, system platform models and multi-objective decision models, as well as, the construction of the models and their usage for the actual system architecture exploration and multi-objective optimal architecture synthesis. In the role of examples, it uses the system architecture exploration and synthesis methods and the corresponding EDA-tools that we recently developed, and the SoC architectures synthesised with our tools for several real-world designs related to the newest highly demanding wireless communication and multimedia standards

Towards a Holistic CAD Platform for Nanotechnologies

Silicon-based CMOS technologies are predicted to reach their ultimate limits by the middle of the next decade. Research on nanotechnologies is actively conducted, in a world-wide effort to develop new technologies able to maintain the Moore's law. They promise revolutionizing the computing systems by integrating tremendous numbers of devices at low cost. These trends will have a profound impact on the architectures of computing systems and will require a new paradigm of CAD. The paper presents a work in progress on this direction. It is aimed at fitting requirements and constraints of nanotechnologies, in an effort to achieve efficient use of the huge computing power promised by them. To achieve this goal we are developing CAD tools able to exploit efficiently these huge computing capabilities promised by nanotechnologies in the domain of simulation of complex systems composed by huge numbers of relatively simple elements.Comment: Submitted on behalf of TIMA Editions (http://irevues.inist.fr/tima-editions

The Paradoxical Effects of Blockchain Technology on Social Networking Practices

Blockchain technology is a promising, yet not well understood, enabler of large-scale societal and economic change. For instance, blockchain makes it possible for users to securely and profitably share content on social media platforms. In this study, w

From FPGA to ASIC: A RISC-V processor experience

This work document a correct design flow using these tools in the Lagarto RISC- V Processor and the RTL design considerations that must be taken into account, to move from a design for FPGA to design for ASIC

RT-Syn: A real-time software system generator

This paper presents research into providing highly reusable and maintainable components by using automatic software synthesis techniques. This proposal uses domain knowledge combined with automatic software synthesis techniques to engineer large-scale mission-critical real-time software. The hypothesis centers on a software synthesis architecture that specifically incorporates application-specific (in this case real-time) knowledge. This architecture synthesizes complex system software to meet a behavioral specification and external interaction design constraints. Some examples of these external constraints are communication protocols, precisions, timing, and space limitations. The incorporation of application-specific knowledge facilitates the generation of mathematical software metrics which are used to narrow the design space, thereby making software synthesis tractable. Success has the potential to dramatically reduce mission-critical system life-cycle costs not only by reducing development time, but more importantly facilitating maintenance, modifications, and extensions of complex mission-critical software systems, which are currently dominating life cycle costs