Joyce L. Tokar
PO
Box 1352
Phoenix,
AZ 85001-1352
480-951-1019
480-607-3762
(FAX)
EDUCATION
|
PhD |
Computer Engineering |
1988 |
Clemson University |
|
MS |
Computer Science |
1981 |
University of Pittsburgh |
|
BS |
Computer Science |
1979 |
University of Pittsburgh |
FIELDS OF INTEREST
|
Embedded Software Systems |
Distributed Systems |
|
Multiprocessing Systems |
Operating Systems |
|
Programming Languages |
Project Management |
|
Software Engineering |
Software Reliability |
|
Software Specification |
Software Tools |
EXPERIENCE
Pyrrhus Software, President, May 2003 – present.
Responsible for the development of business
relationships and the execution of contract engineering services. Developing Ada & C Language Annexes for
the AADL specification.
DDC-I, Inc., Vice President of Technology, Oct 1996 – May 2003.
Responsibilities include new business development, strategic planning, quality assurance, engineering and customer service. Develop proposals and business plans for new partnerships, programs, and acquisitions. Direct the research and development of technology for DDC-I including continuing products and product expansion. Focus on the development of high level tools to enhance the development environment for embedded applications for use in the aerospace and defense community. Responsible for coordinating the activities of the organization both in Phoenix and Copenhagen including generating and maintaining budgets, establishing project priorities, and resolving inter- and intra-departmental issues. Provide technical support and direction to the marketing and sales departments as necessary.
Texas Instruments, Inc., Member, General Technical Staff, June - Oct 1996.
Ada 95 Project Team Leader. Responsible for the design, development, and implementation of TI's Ada 95/C/C++ multilanguage toolset for the high-end DSP processors. Developed proposals and business plans for new programs.
C8x Project Team Leader. Responsible for the continued development of TI's C8x toolset.
Tartan, Inc., Principal Member of the Technical Staff, January 1991 - May 1996.
Principal Scientist, 95 - 96. Responsible for addressing issues related to Tartan's technology with respect to Ada, Ada 95, C/C++ and embedded technology including technical design, development and functionality of large projects over multiple areas, requirements definition, design reviews, code reviews, development and customer consultation, technical presentations, strategic planning, and product planning.
Ada Technology Manager, 93 - 95. Responsible for the development of Tartan's Ada technology including the development, review and recommendation of the Ada proposals, design and development of the Ada 95 system, recommendations on the company’s direction with respect to Ada 95 and Ada 83, and articles and presentations on Ada 95 and Tartan Ada products. In addition, the review and recommendation of the Ada 9X proposal as a Distinguished Reviewer on the Ada 9X Project, design and development of the Ada 9X system, presentations to customers on the content of Ada 9X, and recommendations on the company’s direction with respect to Ada 9X. Chairman of the technology steering committee responsible for the guiding the technical direction of the company.
Ada Runtime Architect, 91- 93. Responsible for the runtime system design and implementation of Ada 9X features. On-going maintenance of the runtime system; especially the i960 system. Also responsible for the investigation of the Rate Monotonic Scheduling model for possible inclusion in the Ada Runtime System and the documentation the Ada Runtime System to demonstrate compliance with FAA requirements.
Pyrrhus Software, July 1988 - December 1990.
Software Consultant. Provided computer software consultation in Ada, Software Engineering, Object-Oriented Design, and Embedded Systems.
University of Natal, October 1988 - October 1990.
Visiting Scholar, June - October 1990. Investigated the development of a reconfigurable network of PCs for process control applications. Conducted research on the development of a set of parameterized generic routines to provide for system simulations. Presented three Ada courses: Ada for Embedded Computing, Ada Tools, and An Overview of Ada for Engineers.
Visiting Scholar, October 1988 - September 1989. Research and evaluation of reliable software methodologies. Developed and presented a five day and a three day comprehensive tutorial on the Ada programming language. Developed and presented a two-day advanced Ada seminar. Instructed and evaluated a fourth year Discrete Mathematics course.
AT&T Bell Laboratories, Member, Technical Staff, May 1986 - August 1988.
Ada Technical Advisor, January 1987 - August 1988. Provided technical advice and assistance on the use of Ada for various communications systems.
Software Engineer, May 1986 - December 1986, May 1985 - August 1985. Analyzed and designed a communications network prototype. This prototype was implemented in C and distributed over AT&T's 6300s, 3B2s, 3B5s, 3B20s and a Tolerant machine. Conducted research to investigate UNIX, Ada, and fault-tolerance.
Clemson University, August 1984 - December 1987.
Assistant Instructor, August 1986 - December 1987. Instructed a junior level Electrical Engineering course on Operating Systems structure and design.
Graduate Assistant, August 1985 - May 1986, August 1984 - May 1985. Conducted research on real-time system specifications, distributed system simulations, and Ada compilation issues.
Gensoft Corporation, August 1981 - June 1984.
Systems Architect. Responsible for the development of an Ada system for multiple targets. Integration and test engineer for the Gensoft (Western Digital) Ada system.
University of Pittsburgh, September 1980 - September 1982.
Instructor. Designed and taught several courses on computer programming languages, microcomputers, and word-processing.
Raytheon Company, September 1979 - September 1980.
Lead Engineer. Designed and implemented a radar-missile scheduler. Maintained the console control software for a naval weapons system.
PUBLICATIONS
“Soul of a New Machine (Revisited),” SIGAda 2003 Key Note Presentation.
“Space & Time Partitioning with ARINC 653 and pragma Profile,” Ada Letters, Vol. 23, Num 5, Dec 2003.
“21st Century Ada: Faster, Stronger … and Higher,” COTS Journal, Vol.5, No.5, May 2003.
“Proceedings of the 11th International Real-Time Workshop on Ada,” April 2002, Ada Letters, Vol. 22, Num 4, Dec 2002.
“Sharpening the Blade,” JAWS S3 Symposium, Los Angeles CA, July 2001.
“Embedded, real-time, safety-critical control is nothing new to the Ada language,” Control Solutions, May 2001.
“Ada Stands Ready for the 21st Century,” COTS, May 2001.
“New Developments in Ada 95 Runtime Profile Definition and Language Refinements,” Ada Europe, Leuven, Belgium, May 2001.
“Flexible Open Systems,” SIGAda, Baltimore MD, October 2000.
"Ada 95 Conformity Assessment," Ada Letters, Vol. 19, No. 1, March 1999.
"Ada 95: A Safer Choice Than C++," COTS Journal, Summer 1998.
"Emerging Technologies in Digital Avionics, " 16th Digital Avionics Systems Conference, 26-30 October 1997.
"Support for DSP Applications in Ada 95," 1996 International Conference on Signal Processing Applications and Technology, 7-10 October 1996.
"Ada 95: The Language for the 90's and Beyond," Object Magazine, June 1996.
"Extending the Ada 95 Initial Conditions for Preelaboration for use in Real-Time Systems," Ada in Europe, Frankfurt, Germany, October 1995.
"Ada 95 Compilers and Environments," Software Technology Conference, Salt Lake City, Utah, April 1995.
"The Advantages of Ada 95," Embedded Systems Programming Product News, Winter 1995.
"Real-Time Features of Ada 95," Defense Electronics, December 1994.
"Handling Interrupts in Ada 9X," Ada in Europe, Copenhagen, Denmark, September 1994.
“Ada’s Support for the Development of Reliable Software,” Canon Communications, Aug 1994.
"The Effect of Ada 9X on Mature Ada 83 Compilers," Ada UK, London, England, July 1994.
"Protected Types in Ada 9X," Embedded Systems Programming, April 1994.
“Ada Goes Object Oriented to Gain a Fighting Change Against C,” New Electronics, January 1994.
"Managing Data Access with Protected Types," EUROSPACE Fourth Symposium 'Ada in Aerospace,' Brussels, Belgium, November 1993.
"Early Experiences in Ada 9X," WAdaS '93, Washington DC, July 1993.
"Real and Virtual Interrupt Support: The Mapping of CARTS to Two Different Architectures," Ada-Europe Conference, Paris, France, June 1993.
"An Analysis of the Ada 9X and ARTEWG CIFO 3.0 Overlap," Ninth Annual Washington Ada Symposium, McLean, Virginia, July 1992.
"Reconfigurable Ada Distributed Control System Software," Ada-Europe Conference, Athens, Greece, May 1991.
"Using Ada for Communications Software," South Africa Computer Lecturers Association Conference, Dikhololo Reserve, Brits, South Africa, June 1989.
"Real-Time Programming, Ada, and Computer Communications," SAIEE Invitation Paper, Durban, South Africa, May 1989.
A New Task Paradigm for Reusability, Ph. D. Dissertation, Clemson University, August 1988.
"A New Task Paradigm for Reusability - A Position Paper," Software Specifications Workshop, Hilton Head, SC, March 1988.
PROFESSIONAL ACTIVITIES AND
AWARDS
2003-2004 IEEE Future Cities Mentor.
12th International Real-Time Ada Workshop, Program Committee.
11th International Real-Time Ada Workshop, Conference Chairman.
September 2001, Employee of the Month.
10th International Real-Time Ada Workshop, Program Committee.
Who's Who in Information Technology
9th International Real-Time Ada Work Group, Program Committee.
SIGAda 1998, Program Committee.
Ada Europe 1998, Program Committee.
Real-Time Programming in Ada 95 Tutorial, TRI-Ada 1997, St. Louis, MO, 9-14 Nov 1997.
TRI-Ada 1997, Program Committee.
January 1997, Employee of the Month.
ISO SC22 WG 9 US Technical Advisory Group Chairman.
TRI-Ada 1995, Program Committee.
Certificate of Appreciation for Valuable Contributions to the Ada 9X Project, Office of the Secretary of Defense, 10 Nov 94.
TRI-Ada 1994, Program Committee.
1994 Duncan Peddie Memorial Lecturer, University of Natal, Durban, South Africa. ABI Distinguished Leadership Award, September 1989.
Transactions on Computers Referee. IEEE Computer Society, May 1987-August 1988.
AT&T Bell Laboratories Fellowship, September 1985-May 1986.
Distinguished Speaker Seminar Series Coordinator, Clemson University Electrical and Computer Engineering Department, January 1985-December 1987.
PROFESSIONAL AFFILIATION
Member ACM
Member IEEE
US Technical Advisory Group (TAG) Ada (ANSI), Head of Delegation
ISO-WG9: Ada 95 Rapporteur Group (ARG)
ISO-WG9: Ada Uniformity Rapporteur Group (URG)
ISO-WG9: Ada Verification Rapporteur Group (VRG)
Ada 9X Distinguished Reviewer
PERSONAL
Married
Citizen: United States of America