回顾嵌入式开发工具:自顶向下的验证和生成

GetMobile Mob. Comput. Commun. Pub Date : 2016-10-14 DOI:10.1145/3009808.3009810

Rohit Ramesh, P. Dutta

{"title":"回顾嵌入式开发工具:自顶向下的验证和生成","authors":"Rohit Ramesh, P. Dutta","doi":"10.1145/3009808.3009810","DOIUrl":null,"url":null,"abstract":"We envision a future where any programmer can automatically generate an embedded device from application code. A future in which a professional embedded engineer can \"sketch\" out a partial device design and automation can complete it, in which a hobbyist can write a program and, in a matter of days, receive a custom hardware in the mail. Building this future requires us to rethink the embedded development process and redesign the tools we use.","PeriodicalId":213775,"journal":{"name":"GetMobile Mob. Comput. Commun.","volume":"11 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"EMBEDDED DEVELOPMENT TOOLS REVISITED: Verification and Generation from the Top Down\",\"authors\":\"Rohit Ramesh, P. Dutta\",\"doi\":\"10.1145/3009808.3009810\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We envision a future where any programmer can automatically generate an embedded device from application code. A future in which a professional embedded engineer can \\\"sketch\\\" out a partial device design and automation can complete it, in which a hobbyist can write a program and, in a matter of days, receive a custom hardware in the mail. Building this future requires us to rethink the embedded development process and redesign the tools we use.\",\"PeriodicalId\":213775,\"journal\":{\"name\":\"GetMobile Mob. Comput. Commun.\",\"volume\":\"11 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-10-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"GetMobile Mob. Comput. Commun.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3009808.3009810\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"GetMobile Mob. Comput. Commun.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3009808.3009810","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

我们设想未来任何程序员都可以从应用程序代码自动生成嵌入式设备。在未来，专业的嵌入式工程师可以“勾画”出部分设备设计，自动化可以完成它，业余爱好者可以编写程序，并在几天内收到定制硬件的邮件。构建这样的未来需要我们重新思考嵌入式开发过程并重新设计我们使用的工具。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

EMBEDDED DEVELOPMENT TOOLS REVISITED: Verification and Generation from the Top Down

We envision a future where any programmer can automatically generate an embedded device from application code. A future in which a professional embedded engineer can "sketch" out a partial device design and automation can complete it, in which a hobbyist can write a program and, in a matter of days, receive a custom hardware in the mail. Building this future requires us to rethink the embedded development process and redesign the tools we use.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

GetMobile Mob. Comput. Commun.

自引率

0.00%

发文量