个人简述:

陈丽琼是上海应用技术学院副教授。于2009年3月获华东理工大学博士学位，专业是计算机应用技术，研究方向为软件工程，分布式实时嵌入式系统，形式化方法，可信计算等。2006年至2010年参与国家自然科学基金项目“基于概念精化的嵌入式系统的构件开发方法”，主要负责嵌入式系统的模型设计与验证技术；在此期间还参与了上海市科技发展基金“面向信息服务领域的智能代理技术发展研究”，主要负责模型的设计、分析与实现技术。2009年获得上海应用技术学院优秀青年基金，继续从事分布式实时嵌入式系统的设计与研究。目前，正在主持上海市教委科研创新项目“服务组合风险评估模型和验证技术研究”，研究服务组合风险评估的模型设计技术，同时，参与上海市科委重点支撑项目“车路协同下智能交通控制与诱导一体化研究”，主要研究交通控制模型的构建与验证。近年来，在国内外发表学术论文近30余篇，其中SCI检索1篇、EI检索20多篇。2012年获得上海产学研课题的资助，到企业进行产学研践习，研究物联网的关键技术并应用到现代物流行业。

科研工作:

(1)主持科研[1]服务组合风险评估模型与验证技术研究,上海市教委创新项目[2]地铁屏蔽门DCU控制系统设计与开发,企业[3]监狱人员定位与监控系统设计与开发,企业[4]基于物联网的矿井信息综合系统研究与开发,企业[5]云计算的性能测试技术与分析平台设计,企业[6]筑巢e系统设计与开发，企业(2)主要发表论文[1]LiqiongChen,YunxiangLiu,CaizhuYu.Anadaptiveservicecompositionmechanismbasedonreliability.Information,14(12):3989-3996,2011.(SCI:896SR)[2]LiqiongChen,GuishengFan,YunxiangLiu.Analyzingschedulabilityofenergy-orienteddistributedreal-timeembeddedsoftware.JournalofSoftware,6(9):1771-1778,2011.(EI:20113414252593)[3]陈丽琼,虞慧群,范贵生,刘冬梅.基于Petri网的嵌入式系统失效模型与分析.华东理工大学学报,37(5):609-214,2011.[4]LiqiongChen,GuishengFan,YunxiangLiu.Anapproachtoformallymodelingandverifyingdistributedreal-timeembeddedsoftware.JournalofSoftware,5(9):990-997,2010.(EI:20103913267677)[5]LiqiongChen,ZhiqingShao,GuishengFan,HanhuaMa.AmethodforanalyzingandpredictingreliabilityofBPELprocess.JournalofSoftware,4(1):11-18,2009.(EI:20091412016353)[6]陈丽琼,邵志清,范贵生,王秀英.分布式实时嵌入式系统的能耗建模与分析.华东理工大学学报,35(2):250-255,2009.[7]LiqiongChen,ZhiqingShao,GuishengFan,HanhuaMa.APetrinetbasedmethodforanalyzingschedulabilityofdistributedreal-timeembeddedsystems.JournalofComputer,3(12):35-42,2008.(EI:20091412009575)[8]LiqiongChen,YunxiangLiu,GuishengFan.Analyzingreal-timeschedulabilityofresource-orienteddistributedreal-timeembeddedsoftware.The2ndIEEEInternationalConferenceonInformationManagementandEngineering(ICIME2010),Chengdu,China,IEEEComputerSocietyPress,pp.189-193,2010.(EI:20102913084774)[9]LiqiongChen,YunxiangLiu,GuishengFan.Amethodtoanalyzeenergyconsumptionofdistributedreal-timeembeddedsoftware.The3rdInternationalConferenceonComputerandElectricalEngineering(ICCEE2010),ChengDu,China,IEEEComputerSocietyPress,pp.640-644,2010.[10]LiqiongChen,GuishengFan,YunxiangLiu.Analyzingfeasibilityofrequirementdrivenservicecomposition.The2ndInternationalWorkshoponComputerScienceandEngineering(WCSE2009),Qingdao,China,IEEEComputerSocietyPress,pp.1155-1160,2009.(EI:20101412821562)[11]LiqiongChen,ZhiqingShao,GuishengFan,XiuyingWang.Modelingandanalyzingdistributedreal-timeandembeddedsystemswithhigh-levelPetrinets.2008IEEE/ASMEInternationalConferenceonMechatronicandEmbeddedSystemsandApplications(MESA2008),Beijing,China,IEEEComputerSocietyPress,pp.476-481,2008.(EI:20090911933712)

教育背景:

•2000年-2004年，安徽工业大学，数理学院，获工学学士学位2004年-2009年，华东理工大学，信息学院，获工学博士学位。