Coconut (project)

Coconut (project)

The COCONUT project (Correct-by-Construction Workbench for Design and Verification of Embedded Systems) is a research project funded by the European Union within the 7th Framework Programme.

Aims

The COCONUT project,named Best Proposal for Embedded Systems by the EU's Seventh Framework Programme, [ Reuters – Business Wire 2008 [http://www.reuters.com/article/pressRelease/idUS167014+09-Apr-2008+BW20080409] ] aims at defining a framework for the integration of the formal verification and system design. Embedded systems, possibly with mixed continuous/discrete domain, are a special focus of the project. Tools for formal verification, correct-by-construction synthesis, mapping between hybrid and discrete domains, and property analysis will be researched, developed or improved, and integrated into a design flow.

Project Partners

The following partners are contributing to the project:
* AeriLogic
* University of Southampton
* [http://www.univr.it Università degli Studi di Verona]
* Certess
* University of Paderborn
* Graz University of Technology (IAIK)
* Fondazione Bruno Kessler
* CEA Leti

External links

* [http://www.coconut-project.eu/ Official Website of the Coconut project]

Notes


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Coconut (disambiguation) — Coconut may refer to the coconut palm (Cocos nucifera), or to its fruit or the seed within its fruit. Coconut may also refer to: Coconut crab, the largest terrestrial arthropod in the world Coconut oil, extracted from the kernel of matured… …   Wikipedia

  • Coconut Fred's Fruit Salad Island — Format Animated television series Created by Sammy Oriti Don Oriolo …   Wikipedia

  • Coconut (song) — Coconut Single by Harry Nilsson from the album Nilsson Schmilsson B side The Moonbeam Song Released 1972 (1972 …   Wikipedia

  • Coconut Records (band) — Coconut Records Leadman Jason Schwartzman Background information Origin Los Angeles, California, USA …   Wikipedia

  • Coconut — For other uses, see Coconut (disambiguation). Coconut Palm Cocos nucifera Coconut Palm (Cocos nucifera) Scientific classification Kingdom …   Wikipedia

  • Coconut crab — Coconut crab …   Wikipedia

  • Coconut production in the Philippines — A coconut tree in Boracay Coconut production plays an important role in the national economy of the Philippines. According to figures published in December 2009 by the Food and Agriculture Organization of the United Nations, it is the world s… …   Wikipedia

  • Project Runway Philippines — infobox television show name = Project Runway Philippines caption = Project Runway Philippines logo format = Reality based competition runtime = approximately 45 minutes creator = Eli Holzman presenter = Teresa Herrera starring = Jojie Lloren… …   Wikipedia

  • Coconut Grove — Villa Vizcaya in Coconut Grove, Miami Coconut Grove ist ein Stadtviertel in Miami, Florida in Miami Dade County, USA. Coconut Grove erstreckt sich südöstlich der US1 von N. Prospect Ave als südliche Grenze zur Kreuzung von US1 und Brickell Ave,… …   Deutsch Wikipedia

  • Coconut Records — This article is about the German record label. For the music project by Jason Schwartzman and Mariah Zuniga, see Coconut Records (band). Coconut Records is a German record label formed in 1981 by producers Tony Hendrik and Karin Hartmann. Acts… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”