About: Esterel Technologies

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Esterel Technologies Goto Sponge NotDistinct Permalink

An Entity of Type : yago:SocialGroup107950920, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FEsterel_Technologies&invfp=IFP_OFF&sas=SAME_AS_OFF

Esterel Technologies is a supplier of model-based design, validation, and code generation tools for safety-critical software and hardware applications. Esterel's tools create formal specifications that produce control designs code in software and/or hardware.

Attributes	Values
rdf:type	Thing company schema:Organization dul:Agent dul:SocialPerson agent wikidata:Q24229398 Organization Business enterprise yago:WikicatSoftwareCompaniesOfFrance yago:Abstraction100002137 yago:Company108058098 yago:Group100031264 yago:Institution108053576 yago:Organization108008335 yago:YagoLegalActor yago:YagoLegalActorGeo yago:YagoPermanentlyLocatedEntity organisation yago:SocialGroup107950920
rdfs:label	Esterel Technologies (en) Esterel Technologies (fr)
rdfs:comment	Esterel Technologies is a supplier of model-based design, validation, and code generation tools for safety-critical software and hardware applications. Esterel's tools create formal specifications that produce control designs code in software and/or hardware. (en) Esterel Technologies est une entreprise active de 2000 à 2018, principal fournisseur mondial d’outils de conception, de validation et de génération de code pour les applications critiques embarquées à partir de leur description formelle sous forme de modèle, dans les industries aérospatiale, de défense, du transport ferroviaire et de l'énergie. Le 27 mai 2019 la société est absorbée par Ansys France son seul actionnaire. (fr)
foaf:name	Esterel Technologies (en)
name	Esterel Technologies (en)
foaf:depiction
location	France
dcterms:subject	Companies based in Paris-Saclay French brands Software companies of France
Wikipage page ID	4069296 (xsd:integer)
Wikipage revision ID	1109190223 (xsd:integer)
Link from a Wikipage to another Wikipage	Electronic design automation Companies based in Paris-Saclay Public company French brands Computer software Esterel Mountain View, California Ansys Élancourt Software prototyping VxWorks Wind River Systems Gerard Berry Software companies of France DO-178B France Ottobrunn Diehl Aerospace Flight simulator Real-time computing ANSYS, Inc Thales Group Synchronous programming language Elancourt Software design Automatic programming INRIA Lustre (programming language) Model-based design Telelogic dbr:Esterel_Studio Verification and Validation (software) dbr:SCADE dbr:SCADE_Display dbr:SCADE_Suite dbr:Astek dbr:SCADE_LifeCycle dbr:SCADE_System dbr:Simulog
Link from a Wikipage to an external page	http://www.esterel-technologies.com/
sameAs	Esterel Technologies Esterel Technologies Esterel Technologies Esterel Technologies Esterel Technologies
dbp:wikiPageUsesTemplate	dbt:Infobox_company dbt:Merge_to dbt:Reflist dbt:URL
thumbnail	wiki-commons:Special:FilePath/Esterel_Technologies_logo.png?width=300
foundation	France Elancourt
industry	Computer software
key people	Eric Bantegnie, President and CEO (en)
location	France, United States (en)
logo	Esterel_Technologies_logo.png (en)
num employees	+100 (en)
parent	Ansys
products	Scade Display (en) Scade Suite (en)
type	Public company
has abstract	Esterel Technologies is a supplier of model-based design, validation, and code generation tools for safety-critical software and hardware applications. Esterel's tools create formal specifications that produce control designs code in software and/or hardware. Esterel Technologies, a wholly owned subsidiary of Ansys, Inc., has offices in Élancourt, France, and Mountain View, California. Esterel also has direct sales offices in Ottobrunn, Germany, Bracknell, United Kingdom, and Shanghai, P.R. China. Distributors in Japan, China, South Korea, Israel, and India complement the Esterel direct sales offices. (en) Esterel Technologies est une entreprise active de 2000 à 2018, principal fournisseur mondial d’outils de conception, de validation et de génération de code pour les applications critiques embarquées à partir de leur description formelle sous forme de modèle, dans les industries aérospatiale, de défense, du transport ferroviaire et de l'énergie. La famille de produits Esterel offre un environnement intégré de conception et développement pour les applications logicielles critiques embarquées. Les solutions logicielles Esterel SCADE permettent la conception graphique, la vérification par la simulation et les méthodes formelles, et la génération de code certifié. Des produits de gestion d'exigences, de gestion de configuration et de génération automatique de documentation sont également inclus, réduisant le temps de certification des applications. Le 27 mai 2019 la société est absorbée par Ansys France son seul actionnaire. (fr)
gold:hypernym	Supplier
prov:wasDerivedFrom	wikipedia-en:Esterel_Technologies?oldid=1109190223&ns=0
page length (characters) of wiki page	6023 (xsd:nonNegativeInteger)
founding year	1999-01-01 (xsd:gYear)

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 60 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software