我们不伟大,但我们很执着!科银京成成立十六周年寄语
- 2016-08-26 15:15:00
- coretek 原创
- 6453
今年8月28日是北京科银京成技术有限公司成立16周年纪念日。 公司的同事们让我为这个有些特殊的日子写几句话。写点什么呢?我是一个不爱说空话和套话的人,思量再三,还是写点儿实实在在的东西吧!
前一段时间,公司放高温假,利用这点儿闲暇时间,我写了一篇英文文章,题目是:“Sixteen Years of Formalization for Embedded Real-Time Operating Systems in PowerEpsilon”,作为我在科银京成工作16年来致力于操作系统形式化工作的小结。回过头来看,这篇文章也可以作为我们科银京成这16年来的总结和回顾。在文章的开头和结尾,我都提到这篇文章是献给科银京成成立16周年的。文章中,我以形式化为主线,罗列了科银京成自成立以来所研发的几乎所有嵌入式操作系统产品,基本上涵盖了这十多年来科银京成嵌入式操作系统技术和产品发展的林林总总和方方面面,也体现了科银京成全体员工以及所有合作伙伴为追求卓越所做出的创新和努力。我想,科银京成这16年的工作成果,应该让全世界同行知道。我们不伟大,但我们很执着!
附件是文章的全文。文章的精简版已投稿“ACM Operating Systems Review”并进入审稿流程。该杂志的编辑通知我,审稿周期是三至四个月,因此,这篇文章已不可能在公司成立纪念日之前发表了。文章写出来,就是为了交流和共享的。 不管这篇文章能否发表,我都愿意把它放在公司网站上,作为献给科银京成成立16周年的礼物,为交流和共享,也为互勉。
下载:Sixteen Years of Formalization for Embedded Real-Time Operating Systems in PowerEpsilon
谨祝科银京成生日快乐!
朱明远
2016年8月25日